PrototypeCommune
ocaml-gospel/gospel
A tool-agnostic formal specification language for OCaml.
- Propriétaire
- ocaml-gospel (organisation)
- Étoiles
- Étoiles : 167
- Forks
- Forks : 20
- Langage
- OCaml
- Licence
- MIT
- Création
- 2020
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- ocaml-ppx/ppx_deriving_yojsonÉtoiles : 169OCamlPrototype
- sneeuwballen/zipperpositionÉtoiles : 168OCamlPrototype
- janestreet/torchÉtoiles : 167OCamlPrototype
- rems-project/lemÉtoiles : 166OCamlPrototype
- Kakadu/lablqmlÉtoiles : 165OCamlPrototype
- vbmithr/ocaml-websocketÉtoiles : 165OCamlPrototype