fmthoma / functional-data-structures-talkLinks
☆15Updated 8 years ago
Alternatives and similar repositories for functional-data-structures-talk
Users that are interested in functional-data-structures-talk are comparing it to the libraries listed below
Sorting:
- The Str signature and implementations☆21Updated 8 years ago
- ghc --make reimplemented with Shake☆32Updated 2 years ago
- Kleene algebra, regular expressions☆33Updated 2 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 9 years ago
- A monad for managed values☆51Updated 2 months ago
- Experimental implementation of generic record subtyping☆18Updated last year
- haskell memory☆48Updated 2 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- An experimental intermediate language for GHC☆36Updated 8 years ago
- ☆54Updated 7 years ago
- Map and Set over contiguous memory☆22Updated 2 years ago
- Structured logging solution.☆38Updated 3 months ago
- Nat, Fin, Vec☆25Updated 9 months ago
- A bad XML parser☆22Updated last year
- ☆67Updated 6 months ago
- A faster date and time library based on time☆47Updated 3 weeks ago
- Folds for recursive types with GHC Generics☆28Updated 6 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated 3 weeks ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 8 years ago
- A GHC type checker plugin for row types☆39Updated 8 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 11 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 7 years ago
- Lens interface for your filesystem☆22Updated 5 years ago
- Haskell library for efficiently building up buffers☆27Updated last year
- Implementation of named parameters for `postgresql-simple` library☆39Updated 2 months ago
- Dependently-typed finite maps (partial dependent products)☆67Updated 3 months ago
- Various type-aligned sequence data structures.☆21Updated 4 years ago
- high-level stream sockets in haskell☆17Updated 5 months ago
- Dual Traversable☆41Updated 3 weeks ago