icicle-lang / icicle-ambiata
A streaming query language.
☆57Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for icicle-ambiata
- A JVM bytecode assembler written in Haskell.☆36Updated 8 years ago
- Haskell 98 Profunctors☆70Updated 4 months ago
- Raft distributed consensus protocol (Haskell library)☆27Updated 5 years ago
- Serializable closures for distributed programming.☆65Updated 11 months ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- the EitherT monad transformer☆55Updated 6 months ago
- playground for working with succinct data structures☆94Updated 9 years ago
- Haskell distributed stream processing with exactly-once semantics☆90Updated 10 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Haskell Avro Encoding and Decoding Native Support (no RPC)☆83Updated 3 months ago
- Priority Search Queues in three different flavors for Haskell☆64Updated 2 months ago
- Building Better Services And Clients☆39Updated 5 years ago
- Generic Programming using True Sums of Products☆157Updated 6 months ago
- Haskell 98 contravariant functors☆73Updated last month
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 4 months ago
- Kafka bindings for Haskell☆72Updated 7 years ago
- A total recursion scheme library for Dhall☆65Updated last week
- haskell memory☆48Updated last year
- Declare and access tuple fields with labels☆60Updated 5 years ago
- a monadic graph library☆39Updated last year
- ☆40Updated 6 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Cofun with Cofree Comonads☆30Updated 8 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- A proper network library for Idris, now that I know what I'm doing.☆57Updated 8 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆102Updated 3 weeks ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- Fast binary serialization in Haskell☆109Updated 9 months ago
- Port of Scala/Haskell Refined library to Idris☆15Updated 3 years ago