stedolan / crowbar
Property fuzzing for OCaml
☆183Updated last year
Related projects ⓘ
Alternatives and complementary repositories for crowbar
- Staged metaprogramming in stock OCaml☆150Updated 7 months ago
- A tool-agnostic formal specification language for OCaml.☆128Updated this week
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆99Updated last year
- Design discussions about the OCaml language☆148Updated last month
- A Simple Profiling Library for OCaml☆128Updated last year
- A modular sat/smt solver with proof output.☆97Updated 10 months ago
- Tools for authors of ppx rewriters☆134Updated last year
- OCaml interpreter☆99Updated 5 years ago
- Streamlining the release of dune packages to opam☆115Updated 3 months ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆80Updated last month
- Cabal like system for OCaml☆126Updated 4 years ago
- A benchmark suite for the OCaml compiler☆82Updated 2 months ago
- Simple template for midsize OCaml project☆123Updated 3 years ago
- A new reference manual for the ocamlbuild tool☆67Updated 8 years ago
- OCaml hash-consing library☆51Updated 9 months ago
- A CI for OCaml projects☆112Updated this week
- OCaml graph library☆233Updated last week
- Cram like framework for OCaml☆145Updated last week
- A simple monadic parser combinator library for OCaml☆65Updated 2 years ago
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆119Updated 10 months ago
- Nice parsers in OCaml without the boilerplate☆124Updated 6 months ago
- OCamlPro public development repository for Alt-Ergo☆132Updated last week
- Logging infrastructure for OCaml☆86Updated 2 months ago
- Abstract engine for text edition in OCaml☆122Updated last year
- Pure OCaml implementation of Zlib.☆115Updated 10 months ago
- Terminal manipulation library for OCaml☆209Updated 3 months ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆147Updated this week
- Syntax extension for writing in-line tests in ocaml code☆129Updated last week
- Simple hash algorithms in OCaml☆87Updated 7 months ago
- An OCaml toplevel (REPL) upgrade☆84Updated 3 weeks ago