ocaml-gospel / gospel
A tool-agnostic formal specification language for OCaml.
☆128Updated this week
Related projects ⓘ
Alternatives and complementary repositories for gospel
- Streamlining the release of dune packages to opam☆115Updated 3 months ago
- Design discussions about the OCaml language☆148Updated last month
- A CI for OCaml projects☆112Updated this week
- A Simple Profiling Library for OCaml☆128Updated last year
- Fuzzy type search for OCaml documentation☆72Updated 4 months ago
- Parallel Programming over Domains☆172Updated 8 months ago
- Software Transactional Memory for OCaml☆109Updated last week
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆147Updated last year
- Realtime grep for OCaml/Coq sources available on opam☆78Updated 2 months ago
- Interoperable effects based concurrency☆93Updated this week
- A fancy diagnostics library that allows your compilers to exit with grace☆70Updated 5 months ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆80Updated last month
- Monitor Eio programs☆77Updated 8 months ago
- A benchmark suite for the OCaml compiler☆82Updated 2 months ago
- Lightweight document☆133Updated 4 months ago
- Lock-free data structures for multicore OCaml☆203Updated this week
- Runtime assertion checking based on Gospel specifications☆38Updated last week
- OCaml PPX deriver for reflection☆51Updated 2 years ago
- The Flambda backend project for OCaml☆113Updated this week
- Assemble dune workspaces to build your project and its dependencies as a whole☆130Updated 8 months ago
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆138Updated 3 weeks ago
- A simple scheduler for OCaml 5☆93Updated last month
- Tools for record-and-replay debugging☆42Updated last year
- An OCaml toplevel (REPL) upgrade☆84Updated 3 weeks ago
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆119Updated 10 months ago
- C-style preprocessor for OCaml☆108Updated last week
- Syntax extension for writing in-line tests in ocaml code☆129Updated last week
- A shell library for OCaml☆77Updated 7 months ago
- Meta-preprocessor for OCaml☆77Updated 10 months ago
- A Deductive Verification Tool for OCaml Programs☆60Updated 4 months ago