AlphaUncommon
ott-lang/ott
The Ott tool for writing definitions of programming languages and calculi
- Owner
- ott-lang (organization)
- Stars
- Stars: 428
- Forks
- Forks: 58
- Language
- OCaml
- License
- None
- Created
- 2016
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in OCaml
All OCaml repos- binsec/binsecStars: 432OCamlAlpha
- PataphysicalSociety/soupaultStars: 431OCamlAlpha
- uber/NEALStars: 428OCamlAlpha
- EasyCrypt/easycryptStars: 424OCamlAlpha
- davesnx/styled-ppxStars: 415OCamlAlpha
- raven-ml/ravenStars: 414OCamlAlpha