Alternatives and similar repositories for extprot:

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

• aturon / ChemistrySet
  A library for composable fine-grained concurrency.
  ☆53Updated 12 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago
• odipar / spread
  SPREAD
  ☆19Updated 4 years ago
• ocaml-multicore / reagents
  Reagents for multicore OCaml
  ☆126Updated last year
• liufengyun / stoic
  a capability-based system
  ☆40Updated 6 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• sjrd / ozma
  Extending Scala with Oz Concurrency
  ☆81Updated 3 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆50Updated 12 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• ashwin153 / beaker
  A distributed, transactional key-value store.
  ☆64Updated 6 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆58Updated 7 years ago
• edwinb / States
  State machines in Idris
  ☆37Updated 8 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated last year
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• aloiscochard / codec-jvm
  A JVM bytecode assembler written in Haskell.
  ☆36Updated 8 years ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆75Updated 8 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated 2 years ago
• robdockins / edison
  Edison: A Library of Efficient Data Structures
  ☆55Updated 2 months ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• slamdata / truffled-purescript
  ☆92Updated 9 years ago
• djspiewak / sparse
  Generalized, incremental parser combinators for scalaz-stream
  ☆62Updated 10 years ago
• johnynek / bosatsu
  A python-ish pure and total functional programming language
  ☆228Updated last week
• NVIDIA / remorac
  ☆38Updated 8 years ago
• ekmett / discrimination
  Fast linear time sorting and discrimination for a large class of data types
  ☆136Updated 5 months ago
• suffuse / suffuse
  Something ungodly for FUSE
  ☆67Updated 9 years ago
• dmbarbour / Sirea
  Simply Reactive! Declarative orchestration in Haskell using RDP
  ☆272Updated 11 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 9 years ago