haroldcarr / learn-haskell-coq-ml-etc
Where I try code from Haskell (etc) books, articles, etc.
☆35Updated last year
Related projects ⓘ
Alternatives and complementary repositories for learn-haskell-coq-ml-etc
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- haskell lazy evaluation illustrated☆71Updated 7 years ago
- The contents of ocharles.org.uk/blog☆66Updated 2 years ago
- Source for personal blog.☆77Updated this week
- ☆28Updated 6 years ago
- Google Translate API☆50Updated 3 years ago
- Monad Transformers and Classes☆78Updated 5 years ago
- Cofun with Cofree Comonads☆30Updated 8 years ago
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆45Updated 5 months ago
- A more flexible mtl☆64Updated 6 years ago
- ☆50Updated 9 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 10 months ago
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆52Updated 3 months ago
- Lift control operations, like exception catching, through monad transformers☆58Updated last year
- Community edited and directed course based on Spring '13 cis194.☆46Updated 8 years ago
- Some useful control operators for looping☆47Updated 4 years ago
- The missing tutorial module for the lens library☆81Updated 5 months ago
- Check properties on standard classes and data structures☆79Updated 10 months ago
- Declare and access tuple fields with labels☆60Updated 5 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆68Updated 3 weeks ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- Containers for STM☆67Updated 6 months ago
- Hoed - A Lightweight Haskell Tracer and Debugger☆51Updated 3 years ago
- My own little "24 Days of Hackage" for 2015☆62Updated 7 years ago
- ☆124Updated 11 months ago
- Incubator for my Haskell libraries☆20Updated 6 years ago
- Relational algebra☆25Updated 7 years ago