stedolan / crowbar

Related projects ⓘ

Alternatives and complementary repositories for crowbar

• stedolan / ppx_stage
  Staged metaprogramming in stock OCaml
  ☆150Updated 7 months ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆97Updated 10 months ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆97Updated last year
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆128Updated last year
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆148Updated last month
• c-cube / qcheck
  QuickCheck inspired property-based testing for OCaml.
  ☆347Updated 4 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆127Updated last month
• backtracking / ocamlgraph
  OCaml graph library
  ☆233Updated 3 months ago
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆82Updated 2 months ago
• ocamllabs / ocaml-modular-implicits
  OCaml extended with modular implicits
  ☆103Updated 6 years ago
• ocaml-ppx / ppx_tools
  Tools for authors of ppx rewriters
  ☆134Updated last year
• c-cube / iter
  Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
  ☆119Updated 9 months ago
• dbuenzli / logs
  Logging infrastructure for OCaml
  ☆86Updated last month
• mirage / digestif
  Simple hash algorithms in OCaml
  ☆87Updated 7 months ago
• tarides / dune-release
  Streamlining the release of dune packages to opam
  ☆115Updated 3 months ago
• ocaml / oasis
  Cabal like system for OCaml
  ☆126Updated 4 years ago
• mjambon / dune-starter
  Simple template for midsize OCaml project
  ☆123Updated 3 years ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆179Updated last year
• dkim / rwo-lwt
  Lwt Translations of the Async Code Examples in Real World OCaml
  ☆104Updated 7 years ago
• gasche / manual-ocamlbuild
  A new reference manual for the ocamlbuild tool
  ☆67Updated 8 years ago
• smolkaj / nice-parser
  Nice parsers in OCaml without the boilerplate
  ☆125Updated 6 months ago
• ocaml-community / zed
  Abstract engine for text edition in OCaml
  ☆122Updated last year
• janestreet / sexplib
  Automated S-expression conversion
  ☆146Updated last month
• janestreet / ppx_inline_test
  Syntax extension for writing in-line tests in ocaml code
  ☆130Updated last month
• andrenth / ocaml-stdint
  Various signed and unsigned integers for OCaml
  ☆85Updated 2 years ago
• mirage / decompress
  Pure OCaml implementation of Zlib.
  ☆115Updated 9 months ago
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆80Updated last month
• ocurrent / ocaml-ci
  A CI for OCaml projects
  ☆111Updated this week
• mirleft / ocaml-nocrypto
  OCaml cryptographic library
  ☆111Updated 4 years ago
• ocaml-multicore / reagents
  Reagents for multicore OCaml
  ☆125Updated last year