Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

BetaRare

tomprimozic/type-systems

Implementations of various type systems in OCaml.

Owner: tomprimozic (personal account)
Stars: Stars: 1,605
Forks: Forks: 75
Language: OCaml
License: Unlicense
Created: 2014
Tier: Beta (700 to 1,999 ★) What this tier means

Nearby in OCaml

All OCaml repos

airbus-seclab/bincatStars: 1,881OCamlBeta
savonet/liquidsoapStars: 1,747OCamlBeta
ocaml/merlinStars: 1,710OCamlBeta
austral/australStars: 1,602OCamlBeta
andrejbauer/plzooStars: 1,600OCamlBeta
janestreet/incrementalStars: 1,529OCamlBeta