stedolan / crowbar
Property fuzzing for OCaml
☆188Updated last year
Alternatives and similar repositories for crowbar:
Users that are interested in crowbar are comparing it to the libraries listed below
- Design discussions about the OCaml language☆157Updated last month
- Staged metaprogramming in stock OCaml☆151Updated last year
- Streamlining the release of dune packages to opam☆118Updated 2 months ago
- A Simple Profiling Library for OCaml☆131Updated 2 months ago
- A modular sat/smt solver with proof output.☆99Updated last year
- A tool-agnostic formal specification language for OCaml.☆140Updated 2 months ago
- Logging infrastructure for OCaml☆86Updated 3 weeks ago
- Cram like framework for OCaml☆156Updated 3 months ago
- Generate nix expressions from opam packages☆94Updated 2 months ago
- Simple template for midsize OCaml project☆125Updated 2 months ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- A CI for OCaml projects☆112Updated last week
- Abstract engine for text edition in OCaml☆120Updated last year
- A benchmark suite for the OCaml compiler☆83Updated 7 months ago
- Tools for authors of ppx rewriters