ekmett / concurrentLinks
Yet another concurrent playground
☆33Updated 9 years ago
Alternatives and similar repositories for concurrent
Users that are interested in concurrent are comparing it to the libraries listed below
Sorting:
- ☆23Updated 9 years ago
- Finitely represented /total/ maps☆17Updated 5 years ago
- Reasonable Haskell default import☆27Updated 3 years ago
- A natural transformation package☆16Updated 7 months ago
- Codo notation for programming with comonads in Haskell☆25Updated 4 years ago
- Dependently typed elimination functions using singletons☆28Updated 9 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- ☆40Updated 7 years ago
- ☆23Updated 8 years ago
- A Typeable-free implementation of extensible effects☆26Updated 8 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- ☆25Updated 8 years ago
- ☆10Updated 9 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- van Laarhoven lenses for Idris☆20Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 9 months ago
- Deep evaluation of data structures☆43Updated 3 months ago
- A Haskell translation of Idris's original algebraic effects library