ocaml-gospel / gospelLinks
A tool-agnostic formal specification language for OCaml.
☆144Updated 4 months ago
Alternatives and similar repositories for gospel
Users that are interested in gospel are comparing it to the libraries listed below
Sorting:
- Streamlining the release of dune packages to opam☆118Updated 2 months ago
- Design discussions about the OCaml language☆161Updated 3 months ago
- A CI for OCaml projects☆112Updated 3 weeks ago
- A Simple Profiling Library for OCaml☆132Updated 4 months ago
- Software Transactional Memory for OCaml☆120Updated 2 months ago
- Realtime grep for OCaml/Coq sources available on opam☆82Updated 8 months ago
- Parallel Programming over Domains☆177Updated last month
- A modular sat/smt solver with proof output.☆99Updated last year
- A simple scheduler for OCaml 5☆106Updated this week
- The Flambda backend project for OCaml☆146Updated this week
- Browser programming toolkit for OCaml☆101Updated 3 months ago
- Lock-free data structures for multicore OCaml☆244Updated last week
- A fancy diagnostics library that allows your compilers to exit with grace☆74Updated last month
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated 2 weeks ago
- Fuzzy type search for OCaml documentation☆81Updated 10 months ago
- Runtime assertion checking based on Gospel specifications☆46Updated last week
- An OCaml toplevel (REPL) upgrade☆91Updated 4 months ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆87Updated last week
- Lightweight document☆135Updated 2 weeks ago
- Documentation of the OCaml implementation☆53Updated 2 years ago
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆143Updated 3 months ago
- Progress bar library for OCaml☆141Updated this week
- Template for an ocaml project with modern tooling☆82Updated 4 months ago
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆123Updated 4 months ago
- A shell library for OCaml☆86Updated last year
- OCaml PPX deriver for reflection☆52Updated 2 years ago
- An OCaml mutation tester☆66Updated last month
- Light library to deal with RPCs in OCaml☆97Updated 2 months ago
- OCaml linter☆78Updated last month
- Assemble dune workspaces to build your project and its dependencies as a whole☆133Updated last month