odipar / spreadLinks
SPREAD
☆18Updated 4 years ago
Alternatives and similar repositories for spread
Users that are interested in spread are comparing it to the libraries listed below
Sorting:
- An implementation of derivative parsing in the parser combinator framework☆59Updated 15 years ago
- MLton for scalable multicore architectures☆59Updated 11 years ago
- ☆60Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 5 years ago
- Noether programming language☆129Updated 8 years ago
- The propagator system☆41Updated 10 years ago
- ☆29Updated 10 years ago
- A Tutorial for Ur/Web☆29Updated 10 years ago
- ☆40Updated 9 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- surgical precision JIT compilers☆122Updated 8 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 9 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Code samples inspiring language design☆23Updated 9 years ago
- A DSL for describing and implementing communication protocols☆84Updated 10 years ago
- Distributed Data Structures in Coq☆49Updated 12 years ago
- FFI-based byte buffers for Idris☆10Updated 6 years ago
- Yes, it is what you think it is☆33Updated 9 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Clojure transducers in a typed setting, in Haskell☆56Updated 10 years ago
- Type provider library for Idris☆95Updated 7 years ago
- A library for composable fine-grained concurrency.☆54Updated 13 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- [toy] A rewriting language similar to the core of Mathematica☆53Updated 3 years ago
- Dyna2 compiler and REPL☆147Updated 5 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- Tool for uploading unikernels into EC2☆77Updated 7 years ago
- Probabilistic computation in Idris☆34Updated 6 years ago