Alternatives and similar repositories for colis-language:

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

• rlepigre / ocaml-earley
  Parsing library based on Earley Algorithm
  ☆18Updated 3 years ago
• vocal-project / vocal
  ☆49Updated 3 years ago
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆26Updated 5 months ago
• backtracking / bheap
  OCaml binary heap implementation by Jean-Christophe Filliatre
  ☆19Updated 4 years ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆15Updated last month
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆39Updated 7 months ago
• polytypic / io
  IO should be just a library
  ☆23Updated last year
• b0-system / b0
  Software construction and deployment kit
  ☆33Updated last week
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated 7 months ago
• janestreet / sexplib0
  Library containing the definition of S-expressions and some base converters
  ☆18Updated 3 months ago
• robur-coop / u2f
  U2F (FIDO Universal 2nd Factor) in OCaml
  ☆25Updated 5 months ago
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆33Updated 8 years ago
• anik545 / OwlPPL
  Final Year Project - A probabilisitic programming language in OCaml
  ☆13Updated 4 years ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆26Updated last year
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆29Updated 3 years ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated last month
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆34Updated this week
• ismailbennani / websocketml
  A simple websocket library for OCaml with no dependencies
  ☆15Updated 10 months ago
• ocaml-doc / odoc-parser
  An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.
  ☆16Updated last year
• ocaml-multicore / eventlog-tools
  Tools for the runtime tracing in OCaml 4.11.0 and higher
  ☆31Updated last year
• shonfeder / um-abt
  An OCaml library implementing unifiable abstract binding trees (UABTs)
  ☆27Updated last year
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated last week
• Armael / pixels
  a shared pixel display controllable via TCP
  ☆12Updated last year
• c-cube / ocaml-minisat
  OCaml bindings to Minisat
  ☆12Updated 9 months ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated last year
• backtracking / ptmap
  Implementation of maps of integers with Patricia trees
  ☆22Updated 4 years ago
• ocurrent / citty
  CI in tty
  ☆14Updated last year
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆32Updated 2 months ago