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
• ocurrent / citty
  CI in tty
  ☆14Updated 2 years ago
• bobatkey / playtime
  An OCaml EDSL for describing and solving strategic games
  ☆17Updated 2 years ago
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆27Updated 8 months ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆38Updated 6 months ago
• polytypic / io
  IO should be just a library
  ☆23Updated 2 years ago
• barko / bentov
  OCaml implementation of histogram-approximation algorithm
  ☆15Updated 3 years ago
• robur-coop / u2f
  U2F (FIDO Universal 2nd Factor) in OCaml
  ☆25Updated last year
• rvantonder / lsif-ocaml
  ☆16Updated 5 years ago
• vocal-project / vocal
  ☆49Updated 4 years ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆26Updated 2 years ago
• jserot / lascar
  An OCaml library for manipulating Labeled Transition Systems
  ☆24Updated last year
• smimram / ocaml-pandoc
  An OCaml library for creating pandoc filters.
  ☆32Updated last year
• craigfe / generalised-signatures
  ☆12Updated 4 years ago
• cryptosense / terminal_size
  Get the size of the attached terminal in OCaml
  ☆13Updated 3 years ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 6 months ago
• mjambon / cmitomli
  Convert a cmi file back to an mli interface
  ☆18Updated 10 years ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Updated last month
• rlepigre / ocaml-earley
  Parsing library based on Earley Algorithm
  ☆18Updated 5 months ago
• c-cube / calculon
  Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
  ☆28Updated last month
• gildor478 / ocaml-gettext
  ☆13Updated 3 months ago
• Drup / pl-experiments
  ☆12Updated 5 years ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆30Updated 4 years ago
• janestreet / sexplib0
  Library containing the definition of S-expressions and some base converters
  ☆19Updated last week
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆28Updated 5 months ago
• mirage / duff
  Pure OCaml implementation of libXdiff (Rabin's fingerprint)
  ☆20Updated last year
• mirage / repr
  ☆31Updated 2 years ago
• OCamlPro / agrid
  agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…
  ☆14Updated 2 years ago
• polytypic / loko-ml
  Lower-Kinded Optics for OCaml
  ☆25Updated 8 months ago
• shonfeder / um-abt
  An OCaml library implementing unifiable abstract binding trees (UABTs)
  ☆28Updated 2 years ago