stedolan / crowbarLinks
Property fuzzing for OCaml
☆191Updated 2 years ago
Alternatives and similar repositories for crowbar
Users that are interested in crowbar are comparing it to the libraries listed below
Sorting:
- Staged metaprogramming in stock OCaml☆152Updated last year
- A Simple Profiling Library for OCaml☆134Updated 5 months ago
- A modular sat/smt solver with proof output.☆99Updated last year
- Design discussions about the OCaml language☆163Updated 5 months ago
- The legacy OCamlbuild build manager☆129Updated 3 months ago
- OCaml interpreter☆102Updated 5 years ago
- A tool-agnostic formal specification language for OCaml.☆144Updated 3 weeks ago
- Logging infrastructure for OCaml☆87Updated this week
- Wiki for compiler hacking sessions☆90Updated 7 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last month
- Nice parsers in OCaml without the boilerplate☆125Updated last year
- Streamlining the release of dune packages to opam☆118Updated 3 months ago
- Micro-benchmarking library for OCaml☆53Updated last month
- OCaml graph library☆238Updated 3 weeks ago
- Purely functional SSH library in ocaml.☆103Updated 3 weeks ago
- Cram like framework for OCaml☆168Updated last month
- Simple hash algorithms in OCaml☆90Updated last month
- Tools for authors of ppx rewriters☆134Updated 2 years ago
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆123Updated 5 months ago
- A benchmark suite for the OCaml compiler☆83Updated 10 months ago
- A simple monadic parser combinator library for OCaml☆67Updated 2 years ago
- Higher-kinded programming in OCaml☆183Updated last year
- Simple template for midsize OCaml project☆125Updated 5 months ago
- QuickCheck inspired property-based testing for OCaml.☆376Updated this week
- Assemble dune workspaces to build your project and its dependencies as a whole☆133Updated 2 weeks ago
- OCaml extended with modular implicits☆104Updated 6 years ago
- Automated S-expression conversion☆159Updated last month
- Pure OCaml implementation of Zlib.☆117Updated 6 months ago
- Generation of S-expression conversion functions from type definitions☆91Updated last month
- A CI for OCaml projects☆113Updated last month