ekmett / streamsLinks
Haskell 2010 stream comonads
☆24Updated last year
Alternatives and similar repositories for streams
Users that are interested in streams are comparing it to the libraries listed below
Sorting:
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Updated 9 years ago
- Various type-aligned sequence data structures.☆21Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated last month
- Pure Haskell implementation of SplitMix pseudo-random number generator☆26Updated last month
- Extensible type-safe unions for Haskell☆34Updated 10 months ago
- Maps using values' monoidal structure during merging☆42Updated last week
- Sift through Haskell code for analysis purposes☆18Updated 7 years ago
- Map and Set over contiguous memory☆22Updated 2 years ago
- A GHC type checker plugin for row types☆39Updated 8 years ago
- Quickcheck Properties for common typeclasses☆35Updated last month
- Manage Nix Haskell override sets☆11Updated 7 years ago
- Unpinned byte arrays in GHC haskell☆22Updated 7 years ago
- ☆33Updated 10 years ago
- Simplify and render Template Haskell☆18Updated 7 years ago
- Easy bidirectional serialization in Haskell☆49Updated 7 years ago
- Bidirectional mapping between two key types☆21Updated last year
- A package exposing a function for generating catamorphisms.☆29Updated 7 years ago
- Kleene algebra, regular expressions☆33Updated 2 years ago
- Lens interface for your filesystem☆22Updated 5 years ago
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆21Updated 10 months ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 8 years ago
- ☆18Updated 3 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 7 years ago
- ☆45Updated 4 years ago
- Non-empty Vectors☆26Updated 9 months ago
- An append only list in a compact region☆25Updated 7 years ago
- Haskell dynamic RTS loader☆13Updated 9 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- Agda-style equational reasoning in Haskell☆54Updated 3 weeks ago