PrototypeCommon
ocaml-gospel/gospel
A tool-agnostic formal specification language for OCaml.
- Owner
- ocaml-gospel (organization)
- Stars
- Stars: 167
- Forks
- Forks: 20
- Language
- OCaml
- License
- MIT
- Created
- 2020
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in OCaml
All OCaml repos- ocaml-ppx/ppx_deriving_yojsonStars: 169OCamlPrototype
- sneeuwballen/zipperpositionStars: 168OCamlPrototype
- janestreet/torchStars: 167OCamlPrototype
- rems-project/lemStars: 166OCamlPrototype
- Kakadu/lablqmlStars: 165OCamlPrototype
- vbmithr/ocaml-websocketStars: 165OCamlPrototype