A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
-
Updated
Oct 13, 2024 - Rust
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
🐍 The Mamba programming language, because we care about safety
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
Alternative implementation of the logical framework Dedukti in Rust
My playground for building a compiler for an ML-like in Rust
A language for clear, concise and clever computing. 🔳
A command line tool that generates ts/js typechecker functions from typescript types.
tiny utility program for type-analysis of shell pipelines based on ladder-typing
A toy statically typed interpreted language
Add a description, image, and links to the typechecker topic page so that developers can more easily learn about it.
To associate your repository with the typechecker topic, visit your repo's landing page and select "manage topics."