robbinch / PapersLinks
A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics
☆23Updated 9 years ago
Alternatives and similar repositories for Papers
Users that are interested in Papers are comparing it to the libraries listed below
Sorting:
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Comma (and other) separated values☆78Updated last year
- Paris Functional Programming Meetup☆27Updated 5 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- Classy error-handling (and dispatching!) in Haskell.☆47Updated 5 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- Zippers based on lenses and traversals☆40Updated last year
- A convenient DSL for describing web routes☆42Updated 4 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- A Prelude with names from category theory☆51Updated 8 years ago
- A total recursion scheme library for Dhall☆66Updated 2 weeks ago
- A monad for managed values☆50Updated 2 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆65Updated 6 years ago
- Structured logging solution.☆35Updated 2 months ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- ☆39Updated 7 years ago
- Haskell time library focusing on performance☆57Updated 5 months ago
- Folds for recursive types with GHC Generics☆26Updated 5 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Dual Traversable☆42Updated 2 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Updated 11 months ago
- An experimental intermediate language for GHC☆36Updated 7 years ago