derekmcloughlin / pearls
Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
☆188Updated 9 years ago
Alternatives and similar repositories for pearls:
Users that are interested in pearls are comparing it to the libraries listed below
- Repository for collaborative Haskell documentation☆208Updated 2 years ago
- ☆228Updated 3 years ago
- Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"☆356Updated 3 weeks ago
- Resources for the online Type Theory Study Group☆161Updated 7 years ago
- A collection of resources for learning type theory.☆101Updated 8 years ago
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆263Updated 6 years ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆309Updated last year
- A talk on using recursion schemes in FP.☆217Updated last year
- My solutions to the popular Haskell tutorial☆76Updated 13 years ago
- solutions for book C. Okasaki purely functional data structures☆58Updated 11 years ago
- The home of the Glamorous Glambda interpreter☆224Updated 3 weeks ago
- An implementation of Pie in Haskell☆205Updated 5 years ago
- Cookbook documentation☆227Updated 4 years ago
- A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.☆145Updated 8 years ago
- A Functional Graph Library for Haskell☆188Updated 6 months ago
- Sample code from "Type Driven Development with Idris"☆162Updated 7 years ago
- 🔍 A step-by-step guide to parsing using Haskell parser combinators.☆94Updated 5 years ago
- Assorted concrete container types☆335Updated last week
- Software Foundations in Idris☆454Updated 5 years ago
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Updated 5 years ago
- Test monadic programs using state machine based models☆203Updated 3 years ago
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆378Updated 2 months ago
- Haskell papers optimized for my e-reader.☆269Updated 8 years ago
- Developer tools for Haskell☆250Updated 9 months ago
- My own little "24 Days of Hackage" for 2015☆62Updated 8 years ago
- Low-dimensional linear algebra primitives for Haskell.☆208Updated last month
- Richard A. Eisenberg's PhD Dissertation☆206Updated 6 years ago
- formalization of the Dependent Object Types (DOT) calculus☆158Updated 8 years ago
- A tutorial on Parallel and Concurrent Haskell☆219Updated 12 years ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆135Updated 4 years ago