martinvlk / the-haskell-pathLinks
A roadmap for learning functional programming with Haskell - and beyond.
☆13Updated 9 years ago
Alternatives and similar repositories for the-haskell-path
Users that are interested in the-haskell-path are comparing it to the libraries listed below
Sorting:
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Updated 5 years ago
- An XML-validation-based trace validator☆92Updated 15 years ago
- Advent of Code 2017☆41Updated 6 years ago
- Useful resources for the Eta programming language☆62Updated 3 years ago
- Simple Exercises in Haskell, using HSpec☆48Updated 2 years ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- ☆78Updated 9 months ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆135Updated 4 years ago
- Example pet shop written in Haskell☆12Updated 9 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 10 years ago
- Exercises designed specifically to demonstrate parametricity☆28Updated 11 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
- Notes on Category Theory For Programmers by Bartosz Milewski☆55Updated 7 years ago
- Useful resources for the Frege programming language☆30Updated 3 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- A collection of awesome Haskell videos. Inspired by awesome projects line.☆45Updated 2 years ago
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆196Updated 9 months ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Material for the "Category Theory as a Tool for Thought" talk☆39Updated 2 years ago
- Exercises from the 'Book of Monads' by Alejandro Serrano Mena☆19Updated 5 years ago
- Cloud Haskell Demonstration☆18Updated 9 years ago
- A talk on using recursion schemes in FP.☆217Updated last year
- Haskell domain modeling playground☆32Updated 3 years ago
- ☆228Updated 4 years ago
- Code examples for functional programming☆21Updated 3 months ago
- REST'ful web framework in Agda☆133Updated 14 years ago
- A simple, flexible and composable web-router☆85Updated 5 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Bartosz Milewski great book on Category Theory implemented in scala, with property Tests☆33Updated 7 years ago