sdiehl/typechecker-zoo
Description and use
sdiehl/typechecker-zoo is an open‑source collection of compact, pedagogical implementations of a variety of modern type‑checking algorithms—from Hindley‑Milner inference to bidirectional and dependent type systems. Each example is deliberately small and well‑documented, making the repository a handy reference and learning tool for students and developers interested in the mechanics of type theory. The project is organized as a “zoo” of self‑contained programs, allowing readers to explore and compare different approaches side by side.
Use in a workflow
sdiehl/typechecker-zoo may be useful when its README and activity match a concrete workflow.
Limitations and review notes
Early or unclear: treat as research material until maintenance, releases, docs, and issue activity are verified.
- Source: github
- Language: Rust
- Record date: 2026-09-05T17:32:04.546Z