# sdiehl/typechecker-zoo

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

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

sdiehl/typechecker-zoo, dépôt open source à 466 étoiles sur GitHub. Carte Alpha de RepoMasters. A menagerie of cute implementations of modern typechecking…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [sdiehl](https://repo.masters-masters.com/owners/sdiehl) |
| Étoiles | 466 |
| Forks | 18 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | MIT |
| Création | 2025 |
| Sujets | compiler, dependent-types, type-inference, type-system, type-theory |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [sdiehl/typechecker-zoo](https://github.com/sdiehl/typechecker-zoo) |

## Fiche du dépôt

A menagerie of cute implementations of modern typechecking algorithms

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de sdiehl

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

## D’autres dépôts Rust

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.