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:
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆98Updated 3 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 9 years ago
- The missing tutorial module for the lens library☆82Updated last year
- Advent of Code 2017☆41Updated 6 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 3 years ago
- ☆38Updated 7 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Check properties on standard classes and data structures☆79Updated last year
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- Benchmarks to compare Haskell streaming library performance☆104Updated 8 months ago
- ☆80Updated 6 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆103Updated 4 months ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- A Distributed Computing Library in Haskell☆52Updated 8 years ago
- An extensible event-driven application framework in haskell☆110Updated 4 years ago
- ☆89Updated last year
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago
- Components as records of functions for Haskell☆170Updated last month
- Construct and run Hadoop MapReduce programs in Haskell☆110Updated 7 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆79Updated 7 years ago
- A work stealing scheduler☆74Updated 6 months ago
- ♾️ Sized list☆46Updated last year
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆70Updated 10 years ago
- Comonads By Example Conference talk☆89Updated 5 years ago
- A JVM bytecode assembler written in Haskell.☆36Updated 9 years ago
- Yet another yet another recursion scheme library in Haskell.☆89Updated 2 weeks ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- The Haskell Refactoring Tool☆137Updated 5 years ago