Python Type Checker / Language Server
-
Updated
Oct 22, 2025 - Rust
#
type-checking
Here are 9 public repositories matching this topic...
Program analysis playground for a simple, imperative language
programming-language compiler llvm static-analysis program-analysis type-checking abstract-interpretation
-
Updated
Jun 6, 2022 - Rust
Hindley Milner Type Inference in Rust
-
Updated
Oct 4, 2017 - Rust
A small type inference/checker for a small set of expressions
-
Updated
Apr 14, 2023 - Rust
an interpreter for a subset of the rust language with main focus on algebraic data types + pattern matching
-
Updated
May 29, 2022 - Rust
🦇 experimental language which compiles to Lua source
-
Updated
Feb 4, 2025 - Rust
Ensure the Just command runner is bundled with a Rust toolchain
-
Updated
Aug 18, 2025 - Rust
A fast type-checker, linter, suggestion engine and VSCode extension for Nim (https://nim-lang.org/).
-
Updated
Aug 17, 2025 - Rust
Improve this page
Add a description, image, and links to the type-checking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checking topic, visit your repo's landing page and select "manage topics."