BetaRare
andrejbauer/plzoo
Programming Languages Zoo
- Owner
- andrejbauer (personal account)
- Stars
- Stars: 1,600
- Forks
- Forks: 105
- Language
- OCaml
- License
- MIT
- Created
- 2013
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by andrejbauer
All 4 repos by andrejbauer- andrejbauer/homotopy-type-theory-courseStars: 314TeXAlpha
- andrejbauer/spartan-type-theoryStars: 277OCamlAlpha
- andrejbauer/marshallStars: 128OCamlPrototype
Nearby in OCaml
All OCaml repos- ocaml/merlinStars: 1,710OCamlBeta
- tomprimozic/type-systemsStars: 1,605OCamlBeta
- austral/australStars: 1,602OCamlBeta
- janestreet/incrementalStars: 1,529OCamlBeta
- janestreet/bonsaiStars: 1,424OCamlBeta
- ocaml/opamStars: 1,387OCamlBeta