Alternatives and similar repositories for spread

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

• aturon / ChemistrySet
  A library for composable fine-grained concurrency.
  ☆53Updated 13 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆72Updated 9 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• msteindorfer / research-paper-oopsla15-artifact
  Artifact accompanying our OOPSLA'15 publication.
  ☆33Updated last year
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 10 years ago
• jonleivent / mindless-coding-phase2
  Mindless, verified (erasably) coding using dependent types, phase 2
  ☆20Updated 4 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆27Updated 4 years ago
• mfp / extprot
  extprot: extensible binary protocols for cross-language communication and long-term serialization
  ☆211Updated last year
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆44Updated 3 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆56Updated 6 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆105Updated 9 years ago
• sgreben / ok
  OCaml implementation of the K 2.0 array programming language
  ☆81Updated 9 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 3 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 10 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆161Updated 6 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• leithaus / SpecialK
  DataLog meets NoSql
  ☆64Updated 2 years ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆146Updated 5 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• gian / urtutorial
  A Tutorial for Ur/Web
  ☆29Updated 9 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 weeks ago
• ISANobody / sill
  ☆29Updated 9 years ago