agocorona / Workflow
re-startable monad that recover the execution state from a log, and workflow patterns
☆42Updated 8 years ago
Related projects: ⓘ
- A Haskell translation of Idris's original algebraic effects library☆41Updated 7 years ago
- ☆79Updated this week
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- An extension to Data.Serialize with built-in version control☆60Updated 4 months ago
- Serializable closures for distributed programming.☆65Updated 9 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- An mtl-style typeclass and transformer for persistent☆11Updated 6 years ago
- Zippers based on lenses and traversals☆38Updated last year
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 2 months ago
- Haskell 98 Profunctors☆70Updated 2 months ago
- ☆20Updated 7 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Fork of official GHC repository.☆44Updated 7 months ago
- A proper network library for Idris, now that I know what I'm doing.☆57Updated 7 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆58Updated last year
- A Haskell MQTT client library.☆23Updated 4 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Declare and access tuple fields with labels☆61Updated 5 years ago
- OTP-like supervision trees in Haskell☆63Updated 5 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- Haskell library for efficiently building up buffers☆25Updated last month
- ☆45Updated 2 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 6 years ago
- Content Addressable Storage Archive☆41Updated 5 months ago
- tools for writing better type errors☆73Updated last year
- Haskell distributed stream processing with exactly-once semantics☆90Updated 10 years ago
- Reasonably efficient probability monad for Haskell.☆19Updated 10 years ago
- Cofun with Cofree Comonads☆30Updated 8 years ago