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 4 years ago
• rvantonder / lsif-ocaml
  ☆16Updated 5 years ago
• vocal-project / vocal
  ☆49Updated 4 years ago
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆26Updated 7 months ago
• Drup / pl-experiments
  ☆12Updated 5 years ago
• barko / bentov
  OCaml implementation of histogram-approximation algorithm
  ☆15Updated 3 years ago
• ocaml-bench / notes
  Notes and findings from our OCaml benchmarking adventures
  ☆49Updated 3 years ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆38Updated 5 months ago
• rlepigre / ocaml-earley
  Parsing library based on Earley Algorithm
  ☆18Updated 5 months ago
• polytypic / io
  IO should be just a library
  ☆23Updated 2 years ago
• mirage / duff
  Pure OCaml implementation of libXdiff (Rabin's fingerprint)
  ☆20Updated 11 months ago
• bobatkey / playtime
  An OCaml EDSL for describing and solving strategic games
  ☆17Updated 2 years ago
• robur-coop / u2f
  U2F (FIDO Universal 2nd Factor) in OCaml
  ☆25Updated last year
• ocurrent / citty
  CI in tty
  ☆14Updated 2 years ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆40Updated 4 months ago
• jserot / lascar
  An OCaml library for manipulating Labeled Transition Systems
  ☆24Updated last year
• mirage / metrics
  Infrastructure to collect metrics from OCaml applications.
  ☆46Updated 4 months ago
• smimram / ocaml-pandoc
  An OCaml library for creating pandoc filters.
  ☆32Updated last year
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated last year
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 5 months ago
• cryptosense / terminal_size
  Get the size of the attached terminal in OCaml
  ☆13Updated 3 years ago
• gildor478 / ocaml-gettext
  ☆13Updated 3 months ago
• pascutto / cachecache
  Efficient caching library for OCaml
  ☆33Updated 2 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 6 years ago
• craigfe / generalised-signatures
  ☆12Updated 4 years ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Updated 3 weeks ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆26Updated 2 years ago
• mjambon / cmitomli
  Convert a cmi file back to an mli interface
  ☆18Updated 10 years ago
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆28Updated 4 months ago
• pqwy / ocaml-papi
  Performance Application Programming Interface for OCaml
  ☆16Updated 3 years ago