mgrabmueller / TransformersStepByStep
Tutorial on monad transformers
☆58Updated 2 years ago
Related projects: ⓘ
- Strongly-typed System F in Haskell☆117Updated last year
- A Haskell blog☆124Updated 2 months ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- Stream editing with Haskell Megaparsec parsers☆79Updated 3 months ago
- Effects libraries in Haskell☆73Updated last year
- ☆101Updated 3 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- ☆97Updated last month
- ☆47Updated 4 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆111Updated last week
- They see me rollin'. They're Heyting. Patrollin' and tryna catch me ridin' dirty. -- Chamillionaire, 2005☆82Updated 3 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- Text and Haskell source for my blog series on recursion schemes.☆44Updated 2 years ago
- Literate Haskell support for Markdown☆134Updated last week
- A re-implementation of weeder using HIE files☆165Updated last week
- Inspection Testing for Haskell☆172Updated 2 months ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated last year
- An implementation of Pie in Haskell☆204Updated 4 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆121Updated last month
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆95Updated 2 years ago
- A List of Haskell articles on good design, good testing☆45Updated 4 years ago
- Fast and concise extensible effects☆104Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 7 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 4 years ago
- Browse Hackage from the terminal☆90Updated 3 weeks ago
- 🚧 a work in progress effect system for Haskell 🚧☆120Updated last year
- Haskell GHC reading guide☆35Updated 3 years ago
- Visualize live Haskell data structures in GHCi☆134Updated 5 months ago
- The home of the Glamorous Glambda interpreter☆219Updated 2 months ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated 2 months ago