Lists (3)
Stars
Synthesizer for provably sound, and most-precise specifications
A preprocessor for Jest to snapshot test TypeScript declaration (.d.ts) files
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
Experimentations with Abstract Machines
Abusing the TypeScript type checker as a spell checker because I just can't help myself.
Experiment to push the limits of TypeScript's type system by writing a "real" tokenizer/parser/interpreter entirely on type-level.
A SQL database implemented purely in TypeScript type annotations.
🔤 A list of all the public package names on npm. Updated daily.
Tool for generating dom related TypeScript and JavaScript library files
The repository for high quality TypeScript type definitions.
Install missing TypeScript typings for dependencies in your package.json.
Infrastructure for DefinitelyTyped
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the…
A research system to automate splitting PRs into smaller PRs.
[TMLR 2024] Efficient Large Language Models: A Survey
Code for the paper "Evaluating Large Language Models Trained on Code"
A curated list of engineering blogs
Adds static typing to JavaScript to improve developer productivity and code quality.
Fetches JavaScript files quickly and comprehensively.
JS Finding can be used to extract JavaScript (JS) files from either a single domain URL or a list of domains. The tool supports various extraction methods and provides additional options for file d…
The fast Rust-based web bundler with webpack-compatible API 🦀️
Performance comparison of popular javascript bundlers
Set up a modern web app by running one command.