# tomprimozic/type-systems

<https://repo.masters-masters.com/en/repos/tomprimozic/type-systems>

[Home](https://repo.masters-masters.com/en) › [tomprimozic](https://repo.masters-masters.com/en/owners/tomprimozic) › [type-systems](https://repo.masters-masters.com/en/repos/tomprimozic/type-systems)

tomprimozic/type-systems has 1,605 stars on GitHub. Its RepoMasters card: Beta tier. Implementations of various type systems in OCaml. Language: OCaml.

| Field | Value |
| --- | --- |
| Owner | [tomprimozic](https://repo.masters-masters.com/en/owners/tomprimozic) |
| Stars | 1,605 |
| Forks | 75 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | Unlicense |
| Created | 2014 |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [tomprimozic/type-systems](https://github.com/tomprimozic/type-systems) |

## Repository

Implementations of various type systems in OCaml.

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## Nearby in OCaml

- [airbus-seclab/bincat · ★ 1,882 · OCaml · Beta](https://repo.masters-masters.com/en/repos/airbus-seclab/bincat)
- [savonet/liquidsoap · ★ 1,752 · OCaml · Beta](https://repo.masters-masters.com/en/repos/savonet/liquidsoap)
- [ocaml/merlin · ★ 1,710 · OCaml · Beta](https://repo.masters-masters.com/en/repos/ocaml/merlin)
- [austral/austral · ★ 1,601 · OCaml · Beta](https://repo.masters-masters.com/en/repos/austral/austral)
- [andrejbauer/plzoo · ★ 1,600 · OCaml · Beta](https://repo.masters-masters.com/en/repos/andrejbauer/plzoo)
- [janestreet/incremental · ★ 1,530 · OCaml · Beta](https://repo.masters-masters.com/en/repos/janestreet/incremental)

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