ekmett / hyperfunctions
playing with hyperfunctions
☆16Updated 3 years ago
Alternatives and similar repositories for hyperfunctions:
Users that are interested in hyperfunctions are comparing it to the libraries listed below
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- CLI tool for Hackage☆26Updated 2 months ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 8 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- ☆17Updated 2 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 7 years ago
- ☆39Updated 7 years ago
- Basic examples and functions for generics-sop☆20Updated last year
- System F implemented in Haskell☆24Updated 13 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- higher-kinded data☆30Updated last year
- Deriving Storable instances using GHC.Generics☆16Updated 2 years ago
- Unpinned byte arrays in GHC haskell☆22Updated 6 years ago
- Codo notation for programming with comonads in Haskell☆26Updated 4 years ago
- Show programming language printed values in a web UI☆24Updated 5 years ago
- Bidirectional mapping between two key types☆22Updated 10 months ago
- Interval Arithmetic☆27Updated 2 months ago
- keyed functors☆22Updated 3 weeks ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Overloaded plugin☆30Updated 9 months ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- A faster date and time library based on time☆47Updated 2 months ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- fast utf-8 character sets☆13Updated 3 weeks ago
- An experimental build system based on the Haxl library☆8Updated 6 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Deriving Semigroup and Monoid instances for your product types☆11Updated 2 weeks ago
- Map and Set over contiguous memory☆21Updated last year