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
• 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
• liufengyun / stoic
  a capability-based system
  ☆40Updated 6 years ago
• jonleivent / mindless-coding-phase2
  Mindless, verified (erasably) coding using dependent types, phase 2
  ☆20Updated 4 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• Blaisorblade / abt
  Implementing Abstract Binding Trees (in Scala, ...)
  ☆19Updated 9 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆30Updated 3 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 6 months ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• mrb / idris-ruby
  Yes, really!
  ☆11Updated 9 years ago
• edwinb / States
  State machines in Idris
  ☆37Updated 8 years ago
• domdere / fp-in-idris
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Updated 10 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• pigworker / CS410-14
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆70Updated 9 years ago
• nostrademons / eve-language
  A purely functional programming language intended for practical programming.
  ☆28Updated 15 years ago
• aloiscochard / codec-jvm
  A JVM bytecode assembler written in Haskell.
  ☆36Updated 8 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 9 years ago
• slamdata / truffled-purescript
  ☆92Updated 9 years ago
• regb / scabolic
  Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
  ☆32Updated 10 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆27Updated 4 years ago
• texodus / forml
  A programming language
  ☆77Updated 11 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago