stedolan / crowbarLinks
Property fuzzing for OCaml
☆192Updated 3 weeks 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 last year
- The legacy OCamlbuild build manager☆130Updated 2 weeks ago
- Design discussions about the OCaml language☆171Updated this week
- Nice parsers in OCaml without the boilerplate☆127Updated last year
- OCaml interpreter☆102Updated 6 years ago
- A tool-agnostic formal specification language for OCaml.☆154Updated 2 weeks ago
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆123Updated 10 months ago
- Tools for authors of ppx rewriters☆134Updated 2 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆104Updated 6 months ago
- A CI for OCaml projects☆117Updated last month
- A benchmark suite for the OCaml compiler☆85Updated last year
- OCaml graph library☆244Updated last month
- Pure OCaml implementation of Zlib.☆118Updated 11 months ago
- A Simple Profiling Library for OCaml☆135Updated 10 months ago
- Streamlining the release of dune packages to opam☆118Updated 2 months ago
- Cabal like system for OCaml☆130Updated 5 years ago
- C-style preprocessor for OCaml☆110Updated 2 weeks ago
- Abstract engine for text edition in OCaml☆123Updated 5 months ago
- Map OCaml arrays onto C-like structs☆114Updated 9 months ago
- OCaml extended with modular implicits☆105Updated 7 years ago
- Serialization library built for speed and memory efficiency☆140Updated 3 years ago
- Higher-kinded programming in OCaml☆188Updated 2 years ago
- Purely functional SSH library in ocaml.☆104Updated 5 months ago
- Logging infrastructure for OCaml☆90Updated 4 months ago
- Simple hash algorithms in OCaml☆93Updated 6 months ago
- Cram like framework for OCaml☆181Updated 3 weeks ago
- Lwt Translations of the Async Code Examples in Real World OCaml☆105Updated 8 years ago
- Wiki for compiler hacking sessions☆90Updated 8 years ago
- Self-contained monadic parser combinators for OCaml☆150Updated 2 years ago