macalimlim / programming-in-haskellLinks
Programming in Haskell by Graham Hutton
☆17Updated 10 years ago
Alternatives and similar repositories for programming-in-haskell
Users that are interested in programming-in-haskell are comparing it to the libraries listed below
Sorting:
- Code samples for my book "Haskell Tutorial and Cookbook"☆82Updated last month
- Solutions to exercises from the book Programming in Haskell (2nd Edition)☆46Updated 7 years ago
- parser for code samples from the book "real world haskell" (http://book.realworldhaskell.org/read/)☆89Updated 8 years ago
- The home of the Glamorous Glambda interpreter☆224Updated 2 months ago
- ☆80Updated 6 years ago
- "Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October …☆189Updated 8 years ago
- Exemplary real world application built with Haskell + Yesod☆169Updated 3 years ago
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago
- Notes and solutions to exercises of "Haskell Programming from first principles"☆37Updated 4 years ago
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆188Updated 9 years ago
- Source Code for 'Practical Haskell' by Alejandro Serrano Mena☆47Updated 5 years ago
- Code bundle for "Haskell Design Patterns" book☆18Updated 9 years ago
- A Haskell DSEL for experimental game theory.☆36Updated 2 years ago
- Where I try code from Haskell (etc) books, articles, etc.☆36Updated 2 years ago
- Source for personal blog.☆77Updated 2 months ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆56Updated 4 years ago
- My notes and solutions to exercises for the book "Haskell Programming from first principles".☆95Updated 3 years ago
- Tutorial for LiquidHaskell☆78Updated 8 months ago
- The University of New Mexico's Haskell Image Processing Library☆82Updated 10 years ago
- A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.☆145Updated 8 years ago
- Haskell papers optimized for my e-reader.☆270Updated 8 years ago
- A library for formalizing Haskell types and functions in Coq☆170Updated last year
- A curated list of awesome Coq frameworks, libraries and software.☆234Updated 2 weeks ago
- A List of Foundational Haskell Papers☆40Updated 6 years ago
- A curated list of awesome Haskell frameworks, libraries and software.☆445Updated last week
- A collection of resources for learning type theory.☆100Updated 9 years ago
- ☆25Updated 7 years ago
- ☆88Updated 7 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆300Updated last year
- Project templates for stack new☆235Updated 5 months ago