Toy typechecker and interpreter for the Mirage language.
-
Updated
Dec 3, 2023 - Rust
#
type-checker
Here are 14 public repositories matching this topic...
-
Updated
Apr 3, 2024 - Rust
unidiomatic usage of Rust, no linear type, no memory safety 😂
-
Updated
Aug 21, 2016 - Rust
A dependent type checker for lambda calculus.
-
Updated
Apr 13, 2024 - Rust
An incremental type checker for a subset of C using DDlog.
-
Updated
Jul 17, 2022 - Rust
An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
-
Updated
Nov 24, 2021 - Rust
write a little simply typed functional language to practice Rust
-
Updated
Jul 22, 2023 - Rust
Experimental Python Type Checker and LSP 🔎
-
Updated
Dec 12, 2024 - Rust
Normalization by evaluation for Martin-Löf Type Theory with dependent records
rust dependent-types type-theory type-system type-inference unification type-checker bidirectional-typechecking debruijn-indices dependent-record-types dependent-records normalization-by-evaluation semantic-typechecking
-
Updated
Jun 8, 2022 - Rust
🌴 Type Checker and IDE Support for Lua
-
Updated
Jun 7, 2022 - Rust
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
language programming-language rust parser dependent-types compiler binary-data dsl declarative data-description-language type-system statically-typed type-checker binary-format dependent-record-types
-
Updated
Sep 6, 2023 - Rust
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
php parser formatter linter static-analysis coding-standards lexer code-style type-checker code-analyzer
-
Updated
Sep 19, 2025 - Rust
A fast, feature-rich static code analyzer & language server for Python
-
Updated
May 10, 2025 - Rust
A fast type checker and language server for Python
python rust typechecker types language-server ide typing code-quality typecheck type-checker contributions-welcome lsp type-check good-first-issue
-
Updated
Sep 20, 2025 - Rust
Improve this page
Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."