ocaml-gospel / gospelLinks
A tool-agnostic formal specification language for OCaml.
☆149Updated 2 weeks ago
Alternatives and similar repositories for gospel
Users that are interested in gospel are comparing it to the libraries listed below
Sorting:
- Design discussions about the OCaml language☆170Updated 8 months ago
- Software Transactional Memory for OCaml☆132Updated 4 months ago
- A Simple Profiling Library for OCaml☆134Updated 9 months ago
- Streamlining the release of dune packages to opam☆118Updated last month
- A CI for OCaml projects