Alternatives and similar repositories for colis-language

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

• ocurrent / citty
  CI in tty
  ☆14Updated 2 years ago
• backtracking / bheap
  OCaml binary heap implementation by Jean-Christophe Filliatre
  ☆18Updated 4 years ago
• smimram / ocaml-pandoc
  An OCaml library for creating pandoc filters.
  ☆32Updated 10 months ago
• vocal-project / vocal
  ☆49Updated 4 years ago
• rvantonder / lsif-ocaml
  ☆16Updated 5 years ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆37Updated 3 months ago
• polytypic / io
  IO should be just a library
  ☆23Updated 2 years ago
• bobatkey / playtime
  An OCaml EDSL for describing and solving strategic games
  ☆17Updated last year
• robur-coop / u2f
  U2F (FIDO Universal 2nd Factor) in OCaml
  ☆25Updated last year
• ocaml-bench / notes
  Notes and findings from our OCaml benchmarking adventures
  ☆49Updated 2 years ago
• shonfeder / um-abt
  An OCaml library implementing unifiable abstract binding trees (UABTs)
  ☆28Updated last year
• mjambon / cmitomli
  Convert a cmi file back to an mli interface
  ☆18Updated 10 years ago
• progman1 / genprintlib
  general value printing within compiled programs
  ☆31Updated 5 years ago
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆26Updated 5 months ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆26Updated 2 years ago
• backtracking / ocaml-hashcons
  OCaml hash-consing library
  ☆51Updated last year
• jserot / lascar
  An OCaml library for manipulating Labeled Transition Systems
  ☆24Updated last year
• ismailbennani / websocketml
  A simple websocket library for OCaml with no dependencies
  ☆16Updated last year
• barko / bentov
  OCaml implementation of histogram-approximation algorithm
  ☆15Updated 2 years ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆40Updated 2 months ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Updated 7 months ago
• art-w / mcavl
  Lock-free Sets and Maps for OCaml multicore
  ☆36Updated 2 years ago
• rlepigre / ocaml-earley
  Parsing library based on Earley Algorithm
  ☆18Updated 2 months ago
• c-cube / calculon
  Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
  ☆28Updated last month
• arlencox / mlbdd
  A not-quite-so-simple Binary Decision Diagrams implementation for OCaml
  ☆37Updated 3 years ago
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆28Updated 2 months ago
• ocurrent / current_incr
  Self-adjusting computations
  ☆22Updated last year
• Drup / pl-experiments
  ☆12Updated 5 years ago
• cryptosense / terminal_size
  Get the size of the attached terminal in OCaml
  ☆13Updated 3 years ago
• ocaml-doc / odoc-parser
  An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.
  ☆16Updated last year