Alternatives and similar repositories for spread:

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

• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• jonleivent / mindless-coding-phase2
  Mindless, verified (erasably) coding using dependent types, phase 2
  ☆20Updated 4 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• 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
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• nostrademons / eve-language
  A purely functional programming language intended for practical programming.
  ☆28Updated 14 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 9 years ago
• Blaisorblade / abt
  Implementing Abstract Binding Trees (in Scala, ...)
  ☆19Updated 9 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 6 years ago
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆40Updated 9 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• dvanhorn / ubik
  Small Scheme interpreter and compiler
  ☆14Updated 9 years ago
• deech / lambdaconf-shen-talk
  ☆15Updated 8 years ago
• ocaml-multicore / reagents
  Reagents for multicore OCaml
  ☆126Updated last year
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 7 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• stedolan / idris-malfunction
  Experimental Malfunction backend for Idris
  ☆81Updated 6 years ago
• liufengyun / stoic
  a capability-based system
  ☆40Updated 6 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 4 months ago
• orc-lang / orc
  Orc programming language implementation
  ☆43Updated 3 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• ergl / crdt-ml
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆48Updated 8 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆27Updated 4 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago