AlphaUncommon
sdiehl/typechecker-zoo
A menagerie of cute implementations of modern typechecking algorithms
- Owner
- sdiehl (personal account)
- Stars
- Stars: 466
- Forks
- Forks: 18
- Language
- Rust
- License
- MIT
- Created
- 2025
- Topics
- compilerdependent-typestype-inferencetype-systemtype-theory
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by sdiehl
All 15 repos by sdiehl- sdiehl/write-you-a-haskellStars: 3,488RustRC
- sdiehl/wiwinwlhStars: 2,667HaskellRC
- sdiehl/kaleidoscopeStars: 1,039HaskellBeta
- sdiehl/bulletproofsStars: 555HaskellAlpha
- sdiehl/numpileStars: 411Jupyter NotebookAlpha
- sdiehl/gevent-tutorialStars: 381HTMLAlpha
Nearby in Rust
All Rust repos- servicer-labs/servicerStars: 466RustAlpha
- stellarlinkco/codexStars: 466RustAlpha
- thiagodmont/greegStars: 466RustAlpha
- mcarton/rust-derivativeStars: 466RustAlpha
- ExodusVPN/exodusStars: 466RustAlpha
- ierror/ssh-permit-a38Stars: 466RustAlpha