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
• icicle-lang / icicle-ambiata
  A streaming query language.
  ☆57Updated 4 years ago
• edwinb / States
  State machines in Idris
  ☆36Updated 8 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated 10 months ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated last year
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆52Updated 8 years ago
• sjrd / ozma
  Extending Scala with Oz Concurrency
  ☆81Updated 3 years ago
• aturon / ChemistrySet
  A library for composable fine-grained concurrency.
  ☆53Updated 12 years ago
• yawaramin / scala-modules
  Experimental implementations of ML-style modules in Scala
  ☆147Updated 9 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• cmcl / frankjnr
  Another implementation of Frank.
  ☆70Updated 7 years ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆75Updated 8 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 7 years ago
• smudgelang / smudge
  A domain-specific language for state machines.
  ☆127Updated 5 years ago
• djspiewak / sparse
  Generalized, incremental parser combinators for scalaz-stream
  ☆63Updated 10 years ago
• nicolasstucki / scala-rrb-vector
  Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations
  ☆55Updated 5 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• suffuse / suffuse
  Something ungodly for FUSE
  ☆67Updated 9 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆50Updated 12 years ago
• ergl / crdt-ml
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆48Updated 8 years ago
• diku-kmc / kleenexlang
  The Kleenex programming language
  ☆55Updated 3 months ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 9 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• slamdata / truffled-purescript
  ☆92Updated 9 years ago