hailstorm-hs / hailstorm
Haskell distributed stream processing with exactly-once semantics
☆90Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for hailstorm
- re-startable monad that recover the execution state from a log, and workflow patterns☆43Updated 8 years ago
- the EitherT monad transformer☆55Updated 6 months ago
- the (very humble) beginnings of a kafka client for haskell☆21Updated 4 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Haskell 98 Profunctors☆70Updated 4 months ago
- An extension to Data.Serialize with built-in version control☆60Updated 6 months ago
- A streaming query language.☆57Updated 4 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 4 months ago
- ♾️ Sized list☆46Updated 6 months ago
- Serializable closures for distributed programming.☆65Updated 11 months ago
- ☆40Updated 6 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- Some useful control operators for looping☆47Updated 4 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated last month
- Raft distributed consensus protocol (Haskell library)☆27Updated 5 years ago
- ☆31Updated 3 years ago
- B+-tree implementation in Haskell☆27Updated 5 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Daemons in Haskell made fun and easy☆27Updated last year
- A proper network library for Idris, now that I know what I'm doing.☆57Updated 8 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- Priority Search Queues in three different flavors for Haskell☆64Updated 2 months ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- Generic Programming using True Sums of Products☆157Updated 6 months ago
- A small bifunctor library for idris☆21Updated 3 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated last year
- Fast binary serialization in Haskell☆109Updated 9 months ago