bitemyapp / papersLinks
☆36Updated 6 years ago
Alternatives and similar repositories for papers
Users that are interested in papers are comparing it to the libraries listed below
Sorting:
- A fast open-union type, suitable for 100+ contained alternatives.☆99Updated last year
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆128Updated last year
- Notes on space leaks☆103Updated 5 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 6 months ago
- Zippers based on lenses and traversals☆41Updated 2 years ago
- A magic typeclass that just does it☆126Updated 3 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆106Updated 7 months ago
- A quasiquoter for neat and simple multiline text interpolation☆58Updated 2 years ago
- Classy error-handling (and dispatching!) in Haskell.☆46Updated 6 years ago
- Slides & demos for talks I do☆58Updated 2 months ago
- 🖼 ️ the compiling to closed categories compiler☆66Updated 7 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆79Updated 5 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 7 years ago
- Interpreter for GHC Haskell☆22Updated 6 years ago
- Comma (and other) separated values☆78Updated 2 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Haskell library for simple, concise and fast generic operations.☆82Updated 2 years ago
- Compile Dhall expressions to Cabal files☆101Updated 3 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 11 months ago
- a GHC.Generics-based entity component system☆77Updated 5 years ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆98Updated 4 years ago
- Haskell library for debugging☆122Updated 6 years ago
- Generic Programming using True Sums of Products☆164Updated 5 months ago
- type-safe JSON spec and validation tool☆86Updated 4 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 3 years ago
- Create temporary postgres instances☆56Updated last year
- The contents of ocharles.org.uk/blog☆66Updated 3 years ago
- tools for writing better type errors☆73Updated 2 years ago
- Principled and efficient binary serialization☆61Updated 2 months ago