PatrickMaier / HdpH
Haskell distributed parallel Haskell
☆38Updated 7 years ago
Related projects: ⓘ
- Haskell library for efficiently building up buffers☆25Updated last month
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- A GHC type checker plugin for row types☆39Updated 6 years ago
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- A Typeable-free implementation of extensible effects☆26Updated 7 years ago
- Quiver stream processing library☆15Updated 7 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- Talk on generic parallel scan☆14Updated 7 years ago
- ☆17Updated 2 years ago
- Serializable closures for distributed programming.☆65Updated 9 months ago
- Open records for Haskell☆22Updated 6 years ago
- Support for static values☆22Updated 2 weeks ago
- ☆23Updated 9 years ago
- ☆39Updated 6 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 5 years ago
- Extends binary with parsec/attoparsec style parsing combinators☆26Updated 2 years ago
- A faster date and time library based on time☆46Updated 11 months ago
- A small library for tracking mutable state in Idris programs☆12Updated 7 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 4 months ago
- ☆20Updated 7 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Transactional cache with configurable persistence☆48Updated last year
- Yet another concurrent playground☆32Updated 8 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Low-level Haskell bindings for libpq☆19Updated 5 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 10 months ago
- Some standalone stream fusion experiments☆14Updated 8 years ago
- ☆18Updated 2 years ago