# lazear/types-and-programming-languages

<https://repo.masters-masters.com/repos/lazear/types-and-programming-languages>

[Accueil](https://repo.masters-masters.com/) › [lazear](https://repo.masters-masters.com/owners/lazear) › [types-and-programming-languages](https://repo.masters-masters.com/repos/lazear/types-and-programming-languages)

lazear/types-and-programming-languages, dépôt open source à 219 étoiles sur GitHub. Carte Prototype de RepoMasters. Exercises from Benjamin Pierce's "Types…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [lazear](https://repo.masters-masters.com/owners/lazear) |
| Étoiles | 219 |
| Forks | 10 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | MIT |
| Création | 2019 |
| Sujets | types-and-programming-languages, tapl, types, type-theory, programming-languages, lambda-calculus |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [lazear/types-and-programming-languages](https://github.com/lazear/types-and-programming-languages) |

## Fiche du dépôt

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras\!

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de lazear

- [lazear/sage · ★ 317 · Rust · Alpha](https://repo.masters-masters.com/repos/lazear/sage)

## D’autres dépôts Rust

- [MistRipple/magi-code · ★ 219 · Rust · Prototype](https://repo.masters-masters.com/repos/MistRipple/magi-code)
- [fy-agent/fyagent · ★ 219 · Rust · Prototype](https://repo.masters-masters.com/repos/fy-agent/fyagent)
- [shreyanth-sureshkrishnaa/pyroclear · ★ 219 · Rust · Prototype](https://repo.masters-masters.com/repos/shreyanth-sureshkrishnaa/pyroclear)
- [morloc-project/morloc · ★ 219 · Rust · Prototype](https://repo.masters-masters.com/repos/morloc-project/morloc)
- [deepseeksss/kcp · ★ 219 · Rust · Prototype](https://repo.masters-masters.com/repos/deepseeksss/kcp)
- [rust-rse/reed-solomon-erasure · ★ 219 · Rust · Prototype](https://repo.masters-masters.com/repos/rust-rse/reed-solomon-erasure)

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