fmthoma / functional-data-structures-talk
☆15Updated 7 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
- Kleene algebra, regular expressions☆32Updated last year
- Structured logging solution.☆35Updated last year
- The Str signature and implementations☆21Updated 7 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated last month
- A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm. (DEV…☆23Updated 8 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Safe web routing in haskell☆30Updated last year
- Generate a command line client from a servant API☆28Updated last year
- An OS written in Idris (eventually...)☆19Updated 9 years ago
- Haskell library for efficiently building up buffers☆26Updated 2 weeks ago
- Extensible type-safe unions for Haskell☆33Updated 4 months ago
- A monad for managed values☆50Updated last year
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago
- ☆45Updated 3 years ago
- GHC prof manipulation script☆32Updated 11 months ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- An append only list in a compact region☆25Updated 6 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 5 years ago
- multiset haskell package☆19Updated last year
- Sum and Product types and such☆29Updated 4 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 7 months ago
- Maps using values' monoidal structure during merging☆42Updated last month
- ghc --make reimplemented with Shake☆30Updated last year
- Map and Set over contiguous memory☆21Updated last year
- Fixed length vector for haskell☆21Updated last week
- Experimental implementation of generic record subtyping☆18Updated 8 months ago
- ☆20Updated 4 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago