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
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆56Updated 6 years ago
• aturon / ChemistrySet
  A library for composable fine-grained concurrency.
  ☆53Updated 13 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 9 years ago
• steinwaywhw / ats-parcc
  A parsing combinator library.
  ☆10Updated 8 years ago
• ziman / idris-bytes
  FFI-based byte buffers for Idris
  ☆10Updated 5 years ago
• nostrademons / eve-language
  A purely functional programming language intended for practical programming.
  ☆28Updated 15 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• liufengyun / stoic
  a capability-based system
  ☆40Updated 6 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆20Updated 7 years ago
• Blaisorblade / abt
  Implementing Abstract Binding Trees (in Scala, ...)
  ☆19Updated 9 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 4 years ago
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆30Updated 3 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 9 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 9 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 7 months ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 3 years ago