AlphaPeu commune
ott-lang/ott
The Ott tool for writing definitions of programming languages and calculi
- Propriétaire
- ott-lang (organisation)
- Étoiles
- Étoiles : 428
- Forks
- Forks : 58
- Langage
- OCaml
- Licence
- Aucune
- Création
- 2016
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- binsec/binsecÉtoiles : 432OCamlAlpha
- PataphysicalSociety/soupaultÉtoiles : 431OCamlAlpha
- uber/NEALÉtoiles : 428OCamlAlpha
- EasyCrypt/easycryptÉtoiles : 424OCamlAlpha
- davesnx/styled-ppxÉtoiles : 415OCamlAlpha
- raven-ml/ravenÉtoiles : 414OCamlAlpha