Alternatives and similar repositories for mlbdd:

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

• Octachron / tensority
  Strongly typed multidimensional array library for OCaml
  ☆52Updated this week
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆38Updated 6 months ago
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆38Updated last year
• Drup / pumping
  Regular languages in types
  ☆22Updated 7 years ago
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆36Updated 7 months ago
• progman1 / genprintlib
  general value printing within compiled programs
  ☆31Updated 4 years ago
• dbuenzli / trel
  Relational programming for OCaml (unreleased)
  ☆25Updated 2 years ago
• witan-org / witan
  An ocaml implementation of conflict-driven reasoning
  ☆15Updated 6 years ago
• ocaml-bench / notes
  Notes and findings from our OCaml benchmarking adventures
  ☆48Updated 2 years ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆44Updated 2 weeks ago
• savonet / ocaml-posix
  Bindings to the various POSIX APIs
  ☆27Updated last week
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆26Updated 4 months ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆34Updated last week
• Armael / pp_loc
  Pretty-printing for error source locations
  ☆36Updated 2 years ago
• OlivierNicole / macros-examples
  Examples to illustrate the use of experimental OCaml macros
  ☆12Updated 7 years ago
• ocamllibs / refl
  OCaml PPX deriver for reflection
  ☆51Updated 2 years ago
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆39Updated 6 months ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated 2 weeks ago
• craigfe / ocaml-stdlib-type-conversions
  Graphs of the various type conversions provided by the OCaml standard library.
  ☆34Updated 4 years ago
• mirage / repr
  ☆31Updated last year
• akabe / ocaml-numerical-analysis
  Stand-alone programs for numerical analysis in OCaml
  ☆47Updated 9 years ago
• sim642 / odep
  Dependency graphs for OCaml modules, libraries and packages
  ☆37Updated 6 months ago
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆27Updated last week
• yallop / ocaml-memcpy
  ☆21Updated last year
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆13Updated last month
• ygrek / extunix
  Thin OCaml bindings to various low-level system APIs not covered by Unix module
  ☆52Updated last month
• pqwy / psq
  Functional Priority Search Queues for OCaml
  ☆53Updated 10 months ago
• nobrakal / asak
  Identifying similar OCaml codes
  ☆29Updated 6 months ago
• bvaugon / obytelib
  OCaml bytecode library tools
  ☆32Updated 2 years ago
• backtracking / bitv
  OCaml bit vector library
  ☆32Updated 3 months ago