ekmett / concurrent
Yet another concurrent playground
☆32Updated 9 years ago
Alternatives and similar repositories for concurrent:
Users that are interested in concurrent are comparing it to the libraries listed below
- ☆22Updated 8 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated 7 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- A Typeable-free implementation of extensible effects☆26Updated 7 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- Some useful control operators for looping☆48Updated 5 years ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 5 months ago
- Finitely represented /total/ maps☆17Updated 5 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 4 months ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Concurrency for the pipes ecosystem☆44Updated 2 years ago
- A monad for managed values☆50Updated 2 years ago
- phantom types☆38Updated 2 months ago
- Easy bidirectional serialization in Haskell☆50Updated 6 years ago
- ☆23Updated 7 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- the EitherT monad transformer☆55Updated last month
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 6 years ago
- Quiver stream processing library☆15Updated 8 years ago
- System F implemented in Haskell☆24Updated 13 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 3 years ago
- ☆40Updated 6 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- Interval Arithmetic☆27Updated 2 months ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- Maps using values' monoidal structure during merging☆42Updated 2 weeks ago