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:
- OCaml interpreter☆102Updated 6 years ago
- Staged metaprogramming in stock OCaml☆153Updated last year
- A modular sat/smt solver with proof output.☆101Updated last year
- A tool-agnostic formal specification language for OCaml.☆146Updated this week
- The legacy OCamlbuild build manager☆129Updated last month
- OCaml graph library☆241Updated 3 months ago
- Purely functional SSH library in ocaml.☆103Updated 3 months ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆102Updated 4 months ago
- Design discussions about the OCaml language☆167Updated 7 months ago
- Tools for authors of ppx rewriters☆134Updated 2 years ago
- Nice parsers in OCaml without the boilerplate☆126Updated last year
- A Simple Profiling Library for OCaml☆134Updated 8 months ago
- Self-contained monadic parser combinators for OCaml☆148Updated 2 years ago
- A benchmark suite for the OCaml compiler☆85Updated last year
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆124Updated 7 months ago
- Wiki for compiler hacking sessions☆91Updated 7 years ago
- QuickCheck inspired property-based testing for OCaml.☆383Updated 2 weeks ago
- Abstract engine for text edition in OCaml☆123Updated 2 months ago
- Streamlining the release of dune packages to opam☆118Updated 2 weeks ago
- Generation of S-expression conversion functions from type definitions☆91Updated 3 weeks ago
- Cabal like system for OCaml☆130Updated 4 years ago
- C-style preprocessor for OCaml☆111Updated last month
- Reagents for multicore OCaml☆126Updated 2 years ago
- Pure OCaml implementation of Zlib.☆119Updated 8 months ago
- A simple monadic parser combinator library for OCaml☆68Updated 3 years ago
- OCaml extended with modular implicits☆104Updated 6 years ago
- OCaml implementation of the DNS protocol☆109Updated last month
- A toy language based on LLVM that implements the System Fω type-system☆113Updated 2 years ago
- A CI for OCaml projects☆114Updated this week
- Detect common errors in OCaml code☆68Updated 6 years ago