ocaml-gospel / gospel
A tool-agnostic formal specification language for OCaml.
☆140Updated last month
Alternatives and similar repositories for gospel:
Users that are interested in gospel are comparing it to the libraries listed below
- A CI for OCaml projects☆112Updated this week
- Streamlining the release of dune packages to opam☆118Updated last month
- Design discussions about the OCaml language☆156Updated last month
- Software Transactional Memory for OCaml☆117Updated 2 months ago
- A Simple Profiling Library for OCaml☆131Updated 2 months ago
- Parallel Programming over Domains☆174Updated last year
- Realtime grep for OCaml/Coq sources available on opam☆81Updated 6 months ago
- Runtime assertion checking based on Gospel specifications☆45Updated 2 weeks ago
- Fuzzy type search for OCaml documentation☆80Updated 8 months ago
- A simple scheduler for OCaml 5☆100Updated last month
- The Flambda backend project for OCaml☆129Updated this week
- Browser programming toolkit for OCaml☆101Updated 3 weeks ago
- Lock-free data structures for multicore OCaml☆239Updated 2 months ago
- Simple hash algorithms in OCaml☆89Updated 2 months ago
- A shell library for OCaml