haroldcarr / presentationsLinks
slides for presentations I have given
☆21Updated 5 years ago
Alternatives and similar repositories for presentations
Users that are interested in presentations are comparing it to the libraries listed below
Sorting:
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 9 years ago
- Haskell 98 contravariant functors☆73Updated 8 months ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆103Updated 3 months ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Generic Programming using True Sums of Products☆163Updated 5 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated last week
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- Check properties on standard classes and data structures☆79Updated last year
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆162Updated 4 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆100Updated last year
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- Haskell 98 Profunctors☆70Updated last week
- Memoization monad transformer☆30Updated last year
- Benchmarks to compare Haskell streaming library performance☆104Updated 7 months ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Advent of Code 2017☆41Updated 6 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆98Updated 3 years ago
- 2048 game clone using Yampa FRP library☆35Updated 10 years ago
- Type-safe error handling☆64Updated last year
- A work stealing scheduler☆74Updated 5 months ago
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 8 months ago
- Comma (and other) separated values☆78Updated last year