Lysxia / first-class-families
First-class type families
☆87Updated 7 months ago
Alternatives and similar repositories for first-class-families:
Users that are interested in first-class-families are comparing it to the libraries listed below
- ☆92Updated 11 months ago
- Measure allocations of a Haskell functions/values☆93Updated 4 months ago
- type level sets☆67Updated 5 years ago
- Experimental, user-contributed effects and interpreters for polysemy☆71Updated last year
- Swagger 2.0 data model.☆74Updated 8 months ago
- A really small example of the Backpack module system for Haskell☆54Updated 2 months ago
- Benchmarks for sequence data structures: lists, vectors, etc.☆88Updated 3 years ago
- Template Haskell Workshop☆52Updated 3 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- Beseder: make impossible state transitions impossible☆31Updated 5 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- Benchmarks to compare Haskell streaming library performance☆103Updated 4 months ago
- Proposals for the Haskell Ecosystem☆51Updated 6 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Inspection Testing for Haskell☆175Updated 2 months ago
- ☆29Updated 5 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated last year
- Experimental tool to build reports on GHC build time for your projects.☆24Updated 2 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- Analyze GHC .dump-timings files☆105Updated last year
- datatypes and functions for easily working with passwords in Haskell☆57Updated 4 months ago
- Flexible persistence for Haskell data types primarily based on event logging and checkpoints☆47Updated 6 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 5 years ago
- A work stealing scheduler☆75Updated 2 months ago
- Universal build and CI testing for Haskell packages☆92Updated 3 weeks ago
- Generate Nix build instructions from a Stack file☆49Updated 4 years ago
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.☆81Updated 4 years ago
- Generic Programming using True Sums of Products☆162Updated 2 months ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 2 weeks ago
- Modern library for working with URIs☆69Updated 2 weeks ago