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.
  ☆102Updated 2 years ago
• ocaml / ocamlbuild
  The legacy OCamlbuild build manager
  ☆130Updated 2 months ago
• johnwhitington / ocamli
  OCaml interpreter
  ☆102Updated 6 years ago
• stedolan / ppx_stage
  Staged metaprogramming in stock OCaml
  ☆154Updated last year
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆104Updated 8 months ago
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆172Updated last month
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆137Updated last year
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆155Updated 2 months ago
• ocaml / oasis
  Cabal like system for OCaml
  ☆128Updated 5 years ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆190Updated 3 weeks ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆69Updated 3 years ago
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆105Updated 7 months ago
• backtracking / ocamlgraph
  OCaml graph library
  ☆244Updated 3 months ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆88Updated 5 months ago
• Drup / tyre
  Typed Regular Expressions
  ☆181Updated 2 months ago
• mirage / ocaml-dns
  OCaml implementation of the DNS protocol
  ☆110Updated 2 months ago
• stedolan / mlsub
  Prototype type inference engine
  ☆204Updated last year
• ocaml-ppx / ppx_tools
  Tools for authors of ppx rewriters
  ☆135Updated 2 years ago
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆141Updated 3 months ago
• janestreet / ppx_expect
  Cram like framework for OCaml
  ☆183Updated 3 weeks ago
• janestreet / core_bench
  Micro-benchmarking library for OCaml
  ☆56Updated 3 weeks ago
• mirage / ocaml-cstruct
  Map OCaml arrays onto C-like structs
  ☆115Updated 11 months ago
• mirage / decompress
  Pure OCaml implementation of Zlib.
  ☆118Updated last year
• tarides / dune-release
  Streamlining the release of dune packages to opam
  ☆119Updated last week
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆110Updated last month
• ocaml-multicore / reagents
  Reagents for multicore OCaml
  ☆126Updated 2 years ago
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆87Updated last year
• pyrocat101 / opal
  Self-contained monadic parser combinators for OCaml
  ☆152Updated 2 years ago
• yallop / fomega
  System Fω interpreter for use in Advanced Functional Programming course
  ☆68Updated 2 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆157Updated 2 weeks ago