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 8 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Quiver stream processing library☆15Updated 8 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Easy bidirectional serialization in Haskell☆49Updated 6 years ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- System F implemented in Haskell☆24Updated 13 years ago
- ☆19Updated 5 months ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated 9 months ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- A natural transformation package☆16Updated 3 months ago
- Finitely represented /total/ maps☆17Updated 5 years ago
- A Typeable-free implementation of extensible effects☆26Updated 7 years ago
- ☆23Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 months ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- higher-kinded data☆30Updated 2 years ago
- Concurrency for the pipes ecosystem☆44Updated 2 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 4 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- Extensible type-safe unions for Haskell☆34Updated 3 months ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Maps using values' monoidal structure during merging☆42Updated 2 months ago
- A fast globally unique variable supply with a pure API☆19Updated last year