Alternatives and similar repositories for miniml:

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

• ocaml-attic / opam-dockerfiles
  Docker base builds of OPAM in various combinations
  ☆34Updated 7 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• ygrek / extunix
  Thin OCaml bindings to various low-level system APIs not covered by Unix module
  ☆54Updated last month
• travisbrady / flajolet
  Probabilistic data structures for OCaml
  ☆39Updated 7 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• Drup / LILiS
  L-system interpreter in OCaml
  ☆22Updated 9 years ago
• yallop / ocaml-integers
  Various signed and unsigned integer types for OCaml
  ☆66Updated 5 months ago
• akr / codegen
  Coq plugin for monomorphization and C code generation
  ☆34Updated last week
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆60Updated 6 months ago
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆32Updated 13 years ago
• dsheets / ocaml-sodium
  Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
  ☆57Updated 4 years ago
• jmid / efftester
  Effect-Driven Compiler Tester for OCaml
  ☆38Updated 5 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• dbuenzli / jsonm
  Non-blocking streaming JSON codec for OCaml
  ☆49Updated 5 months ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated 3 months ago
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 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…
  ☆54Updated 13 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 7 years ago
• witan-org / witan
  An ocaml implementation of conflict-driven reasoning
  ☆14Updated 6 years ago
• msgpack / msgpack-ocaml
  MessagePack implementation for OCaml / msgpack.org[OCaml]
  ☆45Updated 2 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated 2 years ago
• janestreet / core_profiler
  Profiling library
  ☆14Updated last week
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 3 years ago
• ushitora-anqou / aqaml
  Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.
  ☆57Updated 5 years ago
• adrieng / pulsar
  Experimental functional language
  ☆17Updated 2 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• mfp / ocaml-sqlexpr
  Minimalistic syntax extension for type-safe, convenient execution of SQL statements.
  ☆85Updated 5 years ago
• Gbury / ocaml-cgroups
  OCaml interface to cgroups
  ☆20Updated 2 years ago
• brick-lang / kekka
  An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
  ☆14Updated 4 years ago