# lazear/types-and-programming-languages

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

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

lazear/types-and-programming-languages has 219 stars on GitHub. Its RepoMasters card: Prototype tier. Exercises from Benjamin Pierce's "Types and Programming…

| Field | Value |
| --- | --- |
| Owner | [lazear](https://repo.masters-masters.com/en/owners/lazear) |
| Stars | 219 |
| Forks | 10 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | MIT |
| Created | 2019 |
| Topics | types-and-programming-languages, tapl, types, type-theory, programming-languages, lambda-calculus |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [lazear/types-and-programming-languages](https://github.com/lazear/types-and-programming-languages) |

## Repository

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

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by lazear

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

## Nearby in Rust

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

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