odipar / spreadLinks
SPREAD
☆19Updated 4 years ago
Alternatives and similar repositories for spread
Users that are interested in spread are comparing it to the libraries listed below
Sorting:
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- A library for composable fine-grained concurrency.☆53Updated 13 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- A purely functional programming language intended for practical programming.☆28Updated 15 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆27Updated 4 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 3 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Updated 10 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Updated 9 years ago
- purple: compiling a reflective language☆32Updated 7 months ago
- Support for static values☆22Updated 9 months ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- FFI-based byte buffers for Idris☆10Updated 5 years ago
- Lua/Terra + Java Native Interface☆21Updated 8 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- Java Code Generator for Idris☆71Updated 9 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago
- Extending Scala with Oz Concurrency☆81Updated 3 years ago
- JVM code generation☆32Updated 6 years ago
- A small bifunctor library for idris☆21Updated 4 years ago