A static, type inferred and embeddable language written in Rust.
- Updated
Dec 6, 2024 - Rust
#
type-inference
Here are 23 public repositories matching this topic...
A menagerie of cute implementations of modern typechecking algorithms
- Updated
Nov 4, 2025 - Rust
A simple ML-like programming language with subtyping and full type inference.
- Updated
Dec 1, 2024 - Rust
Using Large Language Models for Repo-wide Type Prediction
- Updated
Dec 10, 2023 - 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
Experimental Python Type Checker and LSP 🔎
- Updated
Dec 12, 2024 - Rust
A Hindley-Milner polymorphic typing system
- Updated
Dec 18, 2023 - Rust
Sam's Programming Language
- Updated
Oct 29, 2025 - Rust
Hindley Milner Type Inference in Rust
- Updated
Oct 4, 2017 - Rust
Hindley-Milner type inference for Scheme, in Rust
- Updated
Mar 31, 2022 - Rust
A small type inference/checker for a small set of expressions
- Updated
Apr 14, 2023 - Rust
An implementation of a featherweight muse interpreter written in Rust.
- Updated
Aug 28, 2024 - Rust
LSP for Bril in VSCode and Neovim | Parser + type inference as Rust library | Formatter
- Updated
Aug 18, 2025 - Rust
a scripting language (primarily) for games written in Rust
- Updated
Nov 7, 2024 - Rust
Simple implementation of Hindley-Milner type inference in Rust
- Updated
Aug 20, 2024 - Rust
Constraint solving vs Abstract interpretation
- Updated
Nov 15, 2024 - Rust
Phox is a small functional programming language with "type inference", "ADT", and "pattern matching".
- Updated
Nov 3, 2025 - Rust
🚀 Run the Codex CLI locally to streamline coding tasks with OpenAI's advanced coding agent for your development needs.
electron nodejs javascript blog swift workflow firebase programming ai notebook prompt type-inference hacktoberfest codex notetaker zcf ai-agent claude-ai
- Updated
Nov 7, 2025 - Rust
A polymorphic typing system, Hindley-Milner
- Updated
Jan 4, 2022 - Rust
Implementation of Aiken's COOL teaching language in Rust with Hindley-Milner type inference, using oak as parser.
- Updated
May 7, 2018 - Rust
Improve this page
Add a description, image, and links to the type-inference topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-inference topic, visit your repo's landing page and select "manage topics."