oxc-project / tsrs
Rust port of the TypeScript 7 type checker
oxc-project / tsrs
aidenybai / tla-ts
A TLA+ interpreter and model checker in TypeScript
microsoft / TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Effect-TS / effect
Build production-ready applications in TypeScript
pingdotgg / ts-rust
An experimental Rust port of the TypeScript 7 compiler (tsc)
stencil-hq / dquickts
QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native TypeScript, a REPL that survives restarts, Rust bindings.
richiemcilroy / Tov
A TypeScript-shaped language built for coding agents. It compiles to small, fast native binaries.