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:
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- A library for composable fine-grained concurrency.☆53Updated 13 years ago
- ☆57Updated 7 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- ☆15Updated 9 years ago
- ☆60Updated 5 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- FFI-based byte buffers for Idris☆10Updated 6 years ago
- a capability-based system☆40Updated 7 years ago
- ☆92Updated 9 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Iterated Function Systems fractals with OCaml.☆34Updated 3 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago
- State machines in Idris☆37Updated 8 years ago
- A parsing combinator library.☆10Updated 8 years ago
- A transducer library for Rust☆10Updated 9 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- ☆29Updated 9 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 10 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago