Alternatives and similar repositories for bonsai

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

• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆39Updated 2 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆38Updated 6 years ago
• yzhs / ocamlllvm
  A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…
  ☆55Updated 13 years ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 3 years ago
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆43Updated last year
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated last year
• rlepigre / ocaml-earley
  Parsing library based on Earley Algorithm
  ☆18Updated 8 months ago
• kfl / wpp
  A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.
  ☆19Updated 4 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated 2 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆59Updated last year
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆28Updated 10 months ago
• keigoi / session-ocaml
  An implementation of binary session types in OCaml
  ☆38Updated 6 years ago
• nandor / llir-opt
  LLIR cross-language post-link optimiser for OCaml and C
  ☆19Updated 3 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆42Updated 7 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆26Updated 4 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 3 years ago
• barko / bentov
  OCaml implementation of histogram-approximation algorithm
  ☆15Updated 3 years ago
• jrk / symalg
  (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)
  ☆12Updated 14 years ago
• ocamllabs / ocaml-memory-model
  ☆28Updated 6 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 2 years ago
• vocal-project / vocal
  ☆49Updated 4 years ago
• stevenvar / OCaLustre
  OCaml syntax extension for synchronous programming...
  ☆32Updated 2 years ago
• witan-org / witan
  An ocaml implementation of conflict-driven reasoning
  ☆14Updated 7 years ago
• uwplse / cheerios
  Formally verified Coq serialization library with support for extraction to OCaml
  ☆24Updated 2 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆35Updated 11 years ago
• colinbenner / ocaml-llvm
  Outdated version of an LLVM based backend for OCaml. Newer version:
  ☆22Updated 14 years ago
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆48Updated 6 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 3 years ago
• dannywillems / RML
  ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
  ☆38Updated 3 years ago
• b0-system / b0
  Software construction and deployment kit
  ☆36Updated 3 weeks ago