haroldcarr / presentationsLinks
slides for presentations I have given
☆22Updated 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
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆98Updated 3 years ago
- 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 2 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- Benchmarks to compare Haskell streaming library performance☆106Updated 9 months ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆103Updated 5 months ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 3 years ago
- An extensible event-driven application framework in haskell☆110Updated 4 years ago
- Haskell 98 contravariant functors☆73Updated 10 months ago
- The Haskell Refactoring Tool☆138Updated 5 years ago
- Advent of Code 2017☆40Updated 6 years ago
- A talk on parametricity☆36Updated 2 years ago
- Priority Search Queues in three different flavors for Haskell☆67Updated 3 weeks ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆79Updated 8 years ago
- ☆80Updated 6 years ago
- A JVM bytecode assembler written in Haskell.☆36Updated 9 years ago
- Generic Programming using True Sums of Products☆162Updated last month
- Declare and access tuple fields with labels☆59Updated 6 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 6 years ago
- Cofun with Cofree Comonads☆32Updated 9 years ago
- Fast binary serialization in Haskell☆110Updated 8 months ago
- every day i'm truffling☆70Updated 4 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆64Updated 7 years ago
- ♾️ Sized list☆46Updated last year
- Construct and run Hadoop MapReduce programs in Haskell☆111Updated 7 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- Code for live-coding session☆20Updated 9 years ago
- ☆89Updated last year