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
  ☆56Updated 6 years ago
• aturon / ChemistrySet
  A library for composable fine-grained concurrency.
  ☆53Updated 13 years ago
• suffuse / suffuse
  Something ungodly for FUSE
  ☆67Updated 9 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• programthecloud / ptcrepo
  Repository for Berkeley's class on Programming the Cloud
  ☆60Updated 4 years ago
• djspiewak / sparse
  Generalized, incremental parser combinators for scalaz-stream
  ☆62Updated 10 years ago
• edwinb / States
  State machines in Idris
  ☆37Updated 8 years ago
• icicle-lang / icicle-ambiata
  A streaming query language.
  ☆57Updated 4 years ago
• ocaml-multicore / reagents
  Reagents for multicore OCaml
  ☆126Updated last year
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated last year
• liufengyun / stoic
  a capability-based system
  ☆40Updated 6 years ago
• johnynek / bosatsu
  A python-ish pure and total functional programming language
  ☆227Updated last month
• david-pfx / Andl
  Andl is A New Database Language
  ☆75Updated 8 years ago
• slamdata / truffled-purescript
  ☆92Updated 9 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆50Updated 12 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 3 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 5 years ago
• ashwin153 / beaker
  A distributed, transactional key-value store.
  ☆64Updated 6 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
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• ekmett / discrimination
  Fast linear time sorting and discrimination for a large class of data types
  ☆137Updated 6 months ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆174Updated 3 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 7 months ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• jkff / timeplot
  Analyst's swiss army knife for visualizing data from ad-hoc log files
  ☆80Updated last month
• jwiegley / coq-pipes
  ☆98Updated 7 years ago
• idris-hackers / atom-language-idris
  A Idris Mode for Atom.io
  ☆101Updated 9 months ago