ekmett / hyperfunctionsLinks
playing with hyperfunctions
☆16Updated 4 years ago
Alternatives and similar repositories for hyperfunctions
Users that are interested in hyperfunctions are comparing it to the libraries listed below
Sorting:
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Programmatically create new instances using core-to-core plugins☆11Updated 4 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 9 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Folds for recursive types with GHC Generics☆26Updated 5 years ago
- CLI tool for Hackage☆26Updated 4 months ago
- Bring fusion to everyone☆13Updated 5 years ago
- Interval Arithmetic☆27Updated 4 months ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- Type-aligned Deques in Haskell☆9Updated 10 years ago
- Typed DSLs for sorting☆19Updated 7 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Deriving Semigroup and Monoid instances for your product types☆11Updated 2 months ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- Manage Nix Haskell override sets☆11Updated 6 years ago
- ☆10Updated 6 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- System F implemented in Haskell☆24Updated 13 years ago
- ☆17Updated 2 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- Expands type synonyms in Template Haskell ASTs☆11Updated 5 months ago
- Rust-style strict Maybe in Haskell: no space/indirection overhead.☆18Updated last year
- fast utf-8 character sets☆13Updated 3 months ago
- A general abstraction for manipulating elements of container data structures☆11Updated last year
- ☆39Updated 7 years ago
- Type-level assertion operators☆16Updated 7 years ago
- Finitely represented /total/ maps☆17Updated 5 years ago
- Staged Streams and other stuff☆18Updated 2 years ago