Alternatives and similar repositories for extprot:

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

• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• suffuse / suffuse
  Something ungodly for FUSE
  ☆67Updated 9 years ago
• ashwin153 / beaker
  A distributed, transactional key-value store.
  ☆64Updated 6 years ago
• aturon / ChemistrySet
  A library for composable fine-grained concurrency.
  ☆53Updated 12 years ago
• ocaml-multicore / reagents
  Reagents for multicore OCaml
  ☆126Updated last year
• sjrd / ozma
  Extending Scala with Oz Concurrency
  ☆81Updated 3 years ago
• ergl / crdt-ml
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆48Updated 8 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated 2 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• janestreet / bin_prot
  Binary protocol generator
  ☆76Updated 3 months ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆75Updated 8 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 8 years ago
• icicle-lang / icicle-ambiata
  A streaming query language.
  ☆57Updated 4 years ago
• pigworker / CS410-14
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆69Updated 9 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆50Updated 12 years ago
• yawaramin / scala-modules
  Experimental implementations of ML-style modules in Scala
  ☆147Updated 9 years ago
• jwiegley / coq-pipes
  ☆97Updated 7 years ago
• cmcl / frankjnr
  Another implementation of Frank.
  ☆70Updated 7 years ago
• Drup / tyre
  Typed Regular Expressions
  ☆171Updated 5 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• edwinb / States
  State machines in Idris
  ☆36Updated 8 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 3 years ago
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 5 years ago