TypeScript Go

TypeScript is a programming language developed by Microsoft as a superset of JavaScript. It adds optional static types for application-scale JavaScript and compiles to readable, standards-based JavaScript for browsers, hosts, and operating systems. The compiler is distributed through npm, with stable and nightly builds, and the project provides a browser-based playground, documentation, roadmap, and community resources.

An open-source Microsoft codebase whose merged fix pull requests were used to construct an evaluation dataset for comparing agentic and vector search in a coding-agent task.

ts-rust, also distributed as tsc-rs, is an experimental Rust port of Microsoft's native TypeScript 7 compiler. It includes the compiler, type checker, language server, and API, following the upstream Go compiler's command-line behavior and algorithms. It can be installed from npm with `tsc-rs` and used with `npx tsc-rs -p tsconfig.json`; standalone binaries are provided for Linux x64 and macOS arm64, while Windows and Linux arm64 are not yet available. The port also includes Effect language-service diagnostics when enabled through the corresponding TypeScript plugin configuration. The project is an early release with documented compatibility issues involving some monorepos, project-build output, and long editor sessions, and is licensed under MIT.

scriptc is an experimental TypeScript-to-native compiler from Vercel Labs. It uses the TypeScript compiler for parsing and type checking, then emits typed IR, readable C, textual LLVM IR, native assembly and object files, native executables, or WebAssembly modules. Static builds include a small native runtime and do not require Node.js or a JavaScript engine when run; code that cannot compile statically is reported through diagnostics, and coverage reporting identifies the statically compilable portions and blockers. For npm packages and other dynamically typed code, an optional dynamic mode embeds quickjs-ng. The compiler itself requires Node.js 24 or newer and targets macOS, Linux, Windows, and WebAssembly through WASI Preview 1.

gdp-ts is a TypeScript library, linter, and coding-agent skill that applies Ghosts of Departed Proofs to authorization and entitlement checks. It makes sensitive functions require a compile-time proof that a specific user can act on a specific resource, rather than accepting an unconnected boolean permission check. The library's `name()` function gives runtime values distinct compile-time identities, trusted proof modules verify relationships between those named values, and protected functions demand proofs tied to their exact arguments; using the wrong proof, a proof for another value, a raw identifier, or no proof produces a type error. Proofs are represented by small runtime objects while most of the safety comes from TypeScript's type checker, with negligible runtime overhead and no added dependencies for the core package. Its ESLint and Oxlint presets detect practices the type checker cannot, including forged proofs and proof minting outside designated modules. The companion skill installs through `npx skills add rauchg/gdp-ts` and provides a workflow, implementation recipe, linting guidance, examples, and limitations for applying the pattern. The core package requires TypeScript 5.4 or newer and is licensed under MIT.