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
- Source for personal blog.☆76Updated last week
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- haskell memory☆48Updated last year
- ☆28Updated 6 years ago
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆45Updated 6 months ago
- being the materials for Summer 2013's course☆110Updated last year
- Hoed - A Lightweight Haskell Tracer and Debugger☆51Updated 3 years ago
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆52Updated 3 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Haskell 98 contravariant functors☆73Updated last month
- Type-safe time units in Haskell☆49Updated 10 months ago
- Library of categories, with categorical constructions on them☆54Updated last year
- ☆50Updated 9 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- Declare and access tuple fields with labels☆60Updated 5 years ago
- ☆124Updated 11 months ago
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- Relational algebra☆25Updated 7 years ago
- Cofun with Cofree Comonads☆31Updated 8 years ago
- Some useful control operators for looping☆47Updated 4 years ago
- Color highlighting for Haskell profiling information☆40Updated 3 years ago
- ☆55Updated 5 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- Containers for STM☆67Updated 6 months ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆68Updated last month
- Type-safe error handling☆64Updated last year
- The contents of ocharles.org.uk/blog☆66Updated 2 years ago