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:
- A Simple Profiling Library for OCaml☆132Updated 5 months ago
- Design discussions about the OCaml language☆162Updated 4 months ago
- Streamlining the release of dune packages to opam☆118Updated 2 months ago
- Tools for authors of ppx rewriters☆134Updated last year
- A modular sat/smt solver with proof output.☆99Updated last year
- Staged metaprogramming in stock OCaml☆152Updated last year
- QuickCheck inspired property-based testing for OCaml.☆374Updated 2 weeks ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last month
- A tool-agnostic formal specification language for OCaml.☆144Updated 4 months ago
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆123Updated 4 months ago
- Terminal manipulation library for OCaml☆217Updated 10 months ago
- OCaml graph library☆237Updated 3 weeks ago
- A benchmark suite for the OCaml compiler☆83Updated 9 months ago
- Simple template for midsize OCaml project☆125Updated 4 months ago
- Abstract engine for text edition in OCaml☆121Updated last year
- A CI for OCaml projects☆113Updated 2 weeks ago
- Logging infrastructure for OCaml☆86Updated 3 months ago
- Code coverage for OCaml and ReScript☆309Updated 7 months ago
- Syntax extension for writing in-line tests in ocaml code☆135Updated last week
- Cabal like system for OCaml☆130Updated 4 years ago
- Pure OCaml implementation of Zlib.☆117Updated 5 months ago
- OCaml extended with modular implicits☆104Updated 6 years ago
- Cram like framework for OCaml☆168Updated last week
- Nice parsers in OCaml without the boilerplate☆125Updated last year
- OCaml interpreter☆101Updated 5 years ago
- Purely functional SSH library in ocaml.☆103Updated 2 weeks ago
- OCaml version of Category Theory For Programmers☆133Updated 5 years ago
- Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)☆96Updated last year
- Prototype type inference engine☆202Updated 4 months ago
- Serialization library built for speed and memory efficiency☆139Updated 2 years ago