A command line tool that generates ts/js typechecker functions from typescript types.
-
Updated
Jan 23, 2024 - Rust
#
typechecker
Here are 14 public repositories matching this topic...
Experiments in designing a language LSP-first
-
Updated
Dec 30, 2024 - Rust
Programming language for clear, concise and clever computing.
language programming-language rust typechecker library typescript extension interpreter runtime language-server-protocol
-
Updated
Nov 9, 2024 - Rust
tiny utility program for type-analysis of shell pipelines based on ladder-typing
shell typechecker static-analysis pipelines type-system statically-typed typechecking posix-shell ladder-types
-
Updated
Nov 8, 2023 - Rust
A toy statically typed interpreted language
-
Updated
Sep 18, 2024 - Rust
A tiny (bytecode compiled, stack VM interpreted) expression language for reqlang's templating engine.
-
Updated
Jul 7, 2025 - Rust
Toy functional language in the ML spirit. With a bidirectional typer, Pratt-parsing and layout syntax over braces.
-
Updated
Jun 14, 2025 - Rust
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
-
Updated
Apr 13, 2024 - Rust
My playground for building a compiler for an ML-like in Rust
-
Updated
Jun 14, 2023 - Rust
Alternative implementation of the logical framework Dedukti in Rust
-
Updated
Apr 10, 2025 - Rust
🐍 The Mamba programming language, because we care about safety
-
Updated
Aug 3, 2025 - Rust
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
programming-language rust typechecker dependent-types compiler type-theory systems-language type-system systems-programming bidirectional-typechecking dependent-record-types dependent-records
-
Updated
May 16, 2021 - Rust
A fast and correct TypeScript type checker and compiler with additional experiments
-
Updated
Jul 17, 2025 - Rust
A fast type checker and IDE for Python
python rust typechecker types language-server ide typing code-quality typecheck type-checker contributions-welcome lsp type-check good-first-issue
-
Updated
Aug 8, 2025 - Rust
Improve this page
Add a description, image, and links to the typechecker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typechecker topic, visit your repo's landing page and select "manage topics."