jaspervdj / talksLinks
Slides & demos for talks I do
☆58Updated 4 years ago
Alternatives and similar repositories for talks
Users that are interested in talks are comparing it to the libraries listed below
Sorting:
- Measure time complexity empirically.☆48Updated 9 years ago
- ☆41Updated 7 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆64Updated 6 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A port of QuickCheck to Idris☆59Updated 7 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- Dive into GHC☆82Updated 8 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆70Updated 5 years ago
- Hoed - A Lightweight Haskell Tracer and Debugger☆51Updated 4 years ago
- refine properties for testing Haskell programs☆74Updated 4 months ago
- Generic Programming using True Sums of Products☆163Updated 5 months ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- ☆40Updated 6 years ago
- A more flexible mtl☆63Updated 7 years ago
- Testing with monadic side-effects☆33Updated 3 years ago
- Type-safe data versioning.☆98Updated last year
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 7 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 7 months ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 weeks ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- Church-encoding of the Freer monad☆28Updated 8 years ago
- Run HLint as part of normal compilation☆47Updated 6 years ago