Alternatives and similar repositories for colis-language

Users that are interested in colis-language are comparing it to the libraries listed below

• backtracking / bheap
  OCaml binary heap implementation by Jean-Christophe Filliatre
  ☆18Updated 5 years ago
• vocal-project / vocal
  ☆49Updated 4 years ago
• bobatkey / playtime
  An OCaml EDSL for describing and solving strategic games
  ☆17Updated 2 years ago
• polytypic / io
  IO should be just a library
  ☆23Updated 2 years ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆38Updated 7 months ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆40Updated 5 months ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆26Updated 2 years ago
• ocaml-bench / notes
  Notes and findings from our OCaml benchmarking adventures
  ☆49Updated 3 years ago
• robur-coop / u2f
  U2F (FIDO Universal 2nd Factor) in OCaml
  ☆25Updated last year
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆39Updated 2 years ago
• craigfe / compact
  Memory-efficient data structures in OCaml
  ☆37Updated 3 years ago
• rvantonder / lsif-ocaml
  ☆16Updated 5 years ago
• jserot / lascar
  An OCaml library for manipulating Labeled Transition Systems
  ☆24Updated last year
• ocamllibs / refl
  OCaml PPX deriver for reflection
  ☆53Updated 3 years ago
• mirage / repr
  ☆31Updated 3 weeks ago
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆29Updated 6 months ago
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆27Updated 9 months ago
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆16Updated last year
• arlencox / mlbdd
  A not-quite-so-simple Binary Decision Diagrams implementation for OCaml
  ☆37Updated 3 years ago
• rlepigre / ocaml-earley
  Parsing library based on Earley Algorithm
  ☆18Updated 6 months ago
• backtracking / creal
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Updated last year
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆40Updated last year
• dinosaure / hxd
  J'ai plus mal à la tête maintenant
  ☆25Updated 2 weeks ago
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆39Updated last year
• smimram / ocaml-pandoc
  An OCaml library for creating pandoc filters.
  ☆32Updated last year
• ocaml-dune / csexp
  Minimal support for Canonical S-expressions
  ☆28Updated 2 years ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 7 months ago
• mjambon / cmitomli
  Convert a cmi file back to an mli interface
  ☆18Updated 10 years ago
• barko / bentov
  OCaml implementation of histogram-approximation algorithm
  ☆15Updated 3 years ago
• anik545 / OwlPPL
  Final Year Project - A probabilisitic programming language in OCaml
  ☆14Updated 5 years ago