Alternatives and similar repositories for spread

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

• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆59Updated 11 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 6 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 10 years ago
• aturon / ChemistrySet
  A library for composable fine-grained concurrency.
  ☆54Updated 13 years ago
• noether-lang / noether
  Noether programming language
  ☆130Updated 8 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆123Updated 8 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 15 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 10 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 7 years ago
• mfp / extprot
  extprot: extensible binary protocols for cross-language communication and long-term serialization
  ☆212Updated 2 years ago
• ISANobody / sill
  ☆29Updated 10 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• jonleivent / mindless-coding-phase2
  Mindless, verified (erasably) coding using dependent types, phase 2
  ☆19Updated 5 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆104Updated last year
• NVIDIA / remorac
  ☆40Updated 9 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆28Updated 5 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆72Updated 9 years ago
• hopper-lang / hopper-v0
  a sound modern language for computation and transactional resource logic
  ☆101Updated 9 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆58Updated last year
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆59Updated 9 years ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆82Updated 8 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆76Updated 9 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆33Updated 6 years ago
• ziman / idris-bytes
  FFI-based byte buffers for Idris
  ☆10Updated 6 years ago