stedolan / crowbarLinks
Property fuzzing for OCaml
☆198Updated 2 months 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☆154Updated last year
- A modular sat/smt solver with proof output.☆101Updated 2 years ago
- Design discussions about the OCaml language☆172Updated last month
- A Simple Profiling Library for OCaml☆137Updated last year
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆104Updated 8 months ago
- A tool-agnostic formal specification language for OCaml.☆155Updated last month
- The legacy OCamlbuild build manager☆130Updated 2 months ago
- OCaml interpreter☆102Updated 6 years ago
- Purely functional SSH library in ocaml.☆105Updated 7 months ago
- Nice parsers in OCaml without the boilerplate☆127Updated last year
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆124Updated 11 months ago
- A benchmark suite for the OCaml compiler☆87Updated last year
- Pure OCaml implementation of Zlib.☆118Updated last year
- OCaml graph library☆244Updated 3 months ago
- Streamlining the release of dune packages to opam☆118Updated 4 months ago
- Simple template for midsize OCaml project☆130Updated last year
- Wiki for compiler hacking sessions☆90Updated 8 years ago
- C-style preprocessor for OCaml☆110Updated last month
- A CI for OCaml projects☆117Updated 3 weeks ago
- Tools for authors of ppx rewriters☆135Updated 2 years ago
- QuickCheck inspired property-based testing for OCaml.☆391Updated last week
- Micro-benchmarking library for OCaml☆56Updated 2 weeks ago
- Generation of S-expression conversion functions from type definitions☆94Updated 2 weeks ago
- Light library to deal with RPCs in OCaml☆98Updated last month
- Logging infrastructure for OCaml☆90Updated 3 weeks ago
- Typed Regular Expressions☆181Updated last month
- Map OCaml arrays onto C-like structs☆115Updated 10 months ago
- Terminal manipulation library for OCaml☆225Updated 2 weeks ago
- OCaml implementation of the DNS protocol☆110Updated 2 months ago
- A simple monadic parser combinator library for OCaml☆69Updated 3 years ago