lamdu / hypertypesLinks
Hypertypes - generic programming for heterogeneous recursive types
☆125Updated 5 months ago
Alternatives and similar repositories for hypertypes
Users that are interested in hypertypes are comparing it to the libraries listed below
Sorting:
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 2 years ago
- Inspection Testing for Haskell☆177Updated last week
- GRIN backend for GHC☆144Updated 3 years ago
- Extensional capabilities and deriving combinators☆217Updated 11 months ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Efficient Haskell effect handlers based on evidence translation.☆82Updated 3 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated last week
- Generic Programming using True Sums of Products☆163Updated 5 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Updated 3 years ago
- Fast parsing from bytestrings☆161Updated 2 months ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- A PureScript interpreter in Haskell☆120Updated 3 years ago
- Fast and concise extensible effects☆108Updated 2 years ago
- ⚡️Efficient implementation of Map with types as keys☆100Updated last year
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Experimental, user-contributed effects and interpreters for polysemy☆72Updated last year
- First-class type families☆88Updated last month
- Measure allocations of a Haskell functions/values☆96Updated 7 months ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Stream editing with Haskell Megaparsec parsers☆79Updated last year
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year
- TParsec - Total Parser Combinators in Idris☆95Updated last year
- The theory of algebraic graphs formalised in Agda☆90Updated 6 years ago
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- Benchmarks for sequence data structures: lists, vectors, etc.☆90Updated 3 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated this week
- Visual tool to spot odd runtime behaviour of Haskell programs.☆109Updated 3 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 4 years ago