Alternatives and similar repositories for crowbar:

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

• stedolan / ppx_stage
  Staged metaprogramming in stock OCaml
  ☆151Updated 11 months ago
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆131Updated last month
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆99Updated last year
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆155Updated 3 weeks ago
• tarides / dune-release
  Streamlining the release of dune packages to opam
  ☆118Updated last month
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆133Updated last month
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆101Updated last year
• dbuenzli / logs
  Logging infrastructure for OCaml
  ☆86Updated 5 months ago
• ocaml-ppx / ppx_tools
  Tools for authors of ppx rewriters
  ☆134Updated last year
• johnwhitington / ocamli
  OCaml interpreter
  ☆100Updated 5 years ago
• ocurrent / ocaml-ci
  A CI for OCaml projects
  ☆112Updated last month
• ocaml-community / zed
  Abstract engine for text edition in OCaml
  ☆120Updated last year
• c-cube / iter
  Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
  ☆122Updated 3 weeks ago
• mjambon / dune-starter
  Simple template for midsize OCaml project
  ☆124Updated last month
• inhabitedtype / faraday
  Serialization library built for speed and memory efficiency
  ☆137Updated 2 years ago
• ocaml-ppx / ocaml-migrate-parsetree
  DEPRECATED. See https://ocaml.org/changelog/2023-10-23-omp-deprecation. Convert OCaml parsetrees between different major versions
  ☆86Updated last year
• stedolan / mlsub
  Prototype type inference engine
  ☆201Updated last month
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆103Updated 3 weeks ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated last month
• timbertson / opam2nix
  Generate nix expressions from opam packages
  ☆94Updated last month
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆83Updated 6 months ago
• ocaml / oasis
  Cabal like system for OCaml
  ☆128Updated 4 years ago
• backtracking / ocamlgraph
  OCaml graph library
  ☆236Updated this week
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆67Updated 7 years ago
• smolkaj / nice-parser
  Nice parsers in OCaml without the boilerplate
  ☆125Updated 9 months ago
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆133Updated this week
• mirage / digestif
  Simple hash algorithms in OCaml
  ☆88Updated last month
• ocamllibs / metapp
  Meta-preprocessor for OCaml
  ☆77Updated last year
• c-cube / qcheck
  QuickCheck inspired property-based testing for OCaml.
  ☆366Updated this week
• coq-io / io
  A library for effects in Coq.
  ☆64Updated 2 years ago