Alternatives and similar repositories for linocaml:

Users that are interested in linocaml are comparing it to the libraries listed below

• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆59Updated 4 months ago
• keigoi / session-ocaml
  An implementation of binary session types in OCaml
  ☆36Updated 5 years ago
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 3 years ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆34Updated last month
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated last month
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 3 years ago
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 4 years ago
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆56Updated last year
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆49Updated 6 years ago
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆21Updated 5 months ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated 2 months ago
• ocsigen / deriving
  Extension to OCaml for deriving functions from type declarations.
  ☆26Updated 4 years ago
• ocamllabs / ocaml-memory-model
  ☆27Updated 5 years ago
• b0-system / b0
  Software construction and deployment kit
  ☆33Updated this week
• rlepigre / ocaml-earley
  Parsing library based on Earley Algorithm
  ☆18Updated 3 years ago
• jobjo / popper
  Property-based testing at ease
  ☆42Updated 3 years ago
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆33Updated 3 months ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆39Updated 8 months ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆26Updated last year
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• janestreet / typerep
  Runtime types for OCaml (beta version)
  ☆24Updated 4 months ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆49Updated 7 months ago
• vocal-project / vocal
  ☆49Updated 3 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 2 months ago
• ocaml-multicore / eventlog-tools
  Tools for the runtime tracing in OCaml 4.11.0 and higher
  ☆31Updated 2 years ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆30Updated 3 years ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆57Updated 2 months ago
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆40Updated 8 months ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated 2 years ago