# sdiehl/typechecker-zoo

<https://repo.masters-masters.com/en/repos/sdiehl/typechecker-zoo>

[Home](https://repo.masters-masters.com/en) › [sdiehl](https://repo.masters-masters.com/en/owners/sdiehl) › [typechecker-zoo](https://repo.masters-masters.com/en/repos/sdiehl/typechecker-zoo)

sdiehl/typechecker-zoo has 466 stars on GitHub. Its RepoMasters card: Alpha tier. A menagerie of cute implementations of modern typechecking algorithms

| Field | Value |
| --- | --- |
| Owner | [sdiehl](https://repo.masters-masters.com/en/owners/sdiehl) |
| Stars | 466 |
| Forks | 18 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | MIT |
| Created | 2025 |
| Topics | compiler, dependent-types, type-inference, type-system, type-theory |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [sdiehl/typechecker-zoo](https://github.com/sdiehl/typechecker-zoo) |

## Repository

A menagerie of cute implementations of modern typechecking algorithms

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by sdiehl

- [sdiehl/write-you-a-haskell · ★ 3,488 · Rust · RC](https://repo.masters-masters.com/en/repos/sdiehl/write-you-a-haskell)
- [sdiehl/wiwinwlh · ★ 2,667 · Haskell · RC](https://repo.masters-masters.com/en/repos/sdiehl/wiwinwlh)
- [sdiehl/kaleidoscope · ★ 1,039 · Haskell · Beta](https://repo.masters-masters.com/en/repos/sdiehl/kaleidoscope)
- [sdiehl/bulletproofs · ★ 555 · Haskell · Alpha](https://repo.masters-masters.com/en/repos/sdiehl/bulletproofs)
- [sdiehl/numpile · ★ 411 · Jupyter Notebook · Alpha](https://repo.masters-masters.com/en/repos/sdiehl/numpile)
- [sdiehl/gevent-tutorial · ★ 381 · HTML · Alpha](https://repo.masters-masters.com/en/repos/sdiehl/gevent-tutorial)

## Nearby in Rust

- [servicer-labs/servicer · ★ 466 · Rust · Alpha](https://repo.masters-masters.com/en/repos/servicer-labs/servicer)
- [stellarlinkco/codex · ★ 466 · Rust · Alpha](https://repo.masters-masters.com/en/repos/stellarlinkco/codex)
- [thiagodmont/greeg · ★ 466 · Rust · Alpha](https://repo.masters-masters.com/en/repos/thiagodmont/greeg)
- [mcarton/rust-derivative · ★ 466 · Rust · Alpha](https://repo.masters-masters.com/en/repos/mcarton/rust-derivative)
- [ExodusVPN/exodus · ★ 466 · Rust · Alpha](https://repo.masters-masters.com/en/repos/ExodusVPN/exodus)
- [ierror/ssh-permit-a38 · ★ 466 · Rust · Alpha](https://repo.masters-masters.com/en/repos/ierror/ssh-permit-a38)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.