Alternatives and similar repositories for crowbar

Users that are interested in crowbar are comparing it to the libraries listed below

• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆101Updated last year
• stedolan / ppx_stage
  Staged metaprogramming in stock OCaml
  ☆152Updated last year
• johnwhitington / ocamli
  OCaml interpreter
  ☆102Updated 5 years ago
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆165Updated 6 months ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆102Updated 3 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆146Updated 3 weeks ago
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆103Updated 2 months ago
• ocaml / ocamlbuild
  The legacy OCamlbuild build manager
  ☆128Updated last week
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆134Updated 7 months ago
• tarides / dune-release
  Streamlining the release of dune packages to opam
  ☆118Updated 3 weeks ago
• ocaml-ppx / ppx_tools
  Tools for authors of ppx rewriters
  ☆134Updated 2 years ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆183Updated last year
• smolkaj / nice-parser
  Nice parsers in OCaml without the boilerplate
  ☆126Updated last year
• mirage / ocaml-rpc
  Light library to deal with RPCs in OCaml
  ☆98Updated 2 weeks ago
• ocaml / oasis
  Cabal like system for OCaml
  ☆130Updated 4 years ago
• c-cube / qcheck
  QuickCheck inspired property-based testing for OCaml.
  ☆380Updated last month
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆147Updated 7 years ago
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆83Updated 11 months ago
• dkim / rwo-lwt
  Lwt Translations of the Async Code Examples in Real World OCaml
  ☆105Updated 8 years ago
• janestreet / ppx_expect
  Cram like framework for OCaml
  ☆169Updated 2 weeks ago
• janestreet / core_bench
  Micro-benchmarking library for OCaml
  ☆53Updated 2 weeks ago
• coq-io / io
  A library for effects in Coq.
  ☆66Updated 3 years ago
• backtracking / ocamlgraph
  OCaml graph library
  ☆241Updated 2 months ago
• c-cube / iter
  Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
  ☆124Updated 6 months ago
• mirage / ocaml-cstruct
  Map OCaml arrays onto C-like structs
  ☆111Updated 5 months ago
• yallop / fomega
  System Fω interpreter for use in Advanced Functional Programming course
  ☆66Updated last year
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆109Updated last week
• backtracking / ocaml-hashcons
  OCaml hash-consing library
  ☆51Updated last year
• janestreet / sexplib
  Automated S-expression conversion
  ☆161Updated 2 weeks ago
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆139Updated last month