A fast and correct TypeScript type checker and compiler with additional experiments
-
Updated
Jan 16, 2025 - Rust
#
typechecker
Here are 11 public repositories matching this topic...
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
🐍 The Mamba programming language, because we care about safety
-
Updated
Nov 3, 2024 - Rust
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
-
Updated
Apr 13, 2024 - Rust
Alternative implementation of the logical framework Dedukti in Rust
-
Updated
Nov 13, 2024 - Rust
My playground for building a compiler for an ML-like in Rust
-
Updated
Jun 14, 2023 - 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
A command line tool that generates ts/js typechecker functions from typescript types.
-
Updated
Jan 23, 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
Experiments in designing a language LSP-first
-
Updated
Dec 30, 2024 - Rust
A toy statically typed interpreted language
-
Updated
Sep 18, 2024 - 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."