bitemyapp / papers
☆35Updated 5 years ago
Alternatives and similar repositories for papers:
Users that are interested in papers are comparing it to the libraries listed below
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated last year
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Zippers based on lenses and traversals☆40Updated last year
- ☆45Updated 3 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 9 months ago
- Comma (and other) separated values☆78Updated last year
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Search Haskell source code from the command line☆75Updated 4 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- tools for writing better type errors☆73Updated last year
- A quasiquoter for neat and simple multiline text interpolation☆56Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Fine-grained lattice primitives for Haskell☆37Updated this week
- Classy error-handling (and dispatching!) in Haskell.☆47Updated 5 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Tools for programming with ConstraintKinds in GHC☆72Updated 6 months ago
- A fast open-union type, suitable for 100+ contained alternatives.☆99Updated last year
- Hedgehog will eat your typeclass bugs☆56Updated last month
- Measure allocations of a Haskell functions/values☆95Updated 6 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated 3 months ago
- Proposals for the Haskell Ecosystem☆51Updated 6 years ago
- Easy bidirectional serialization in Haskell☆50Updated 6 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Principled and efficient binary serialization☆61Updated 2 years ago
- Type-safe time units in Haskell☆49Updated 3 months ago
- ☆67Updated last year