politrons / Dive_into_Haskell
Dive into Haskell: Examples of all features of this Pure Functional programing language
☆69Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Dive_into_Haskell
- A List of Haskell articles on good design, good testing☆45Updated 4 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆47Updated 2 years ago
- ♾️ Sized list☆46Updated 6 months ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆99Updated 2 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆70Updated last month
- 📚 A softer alternative to Haddock☆104Updated 4 years ago
- A work stealing scheduler☆77Updated last year
- 🧠 Type-safe memory units☆62Updated 4 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- ☆38Updated 6 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- Jupyter notebooks☆58Updated 3 weeks ago
- ☆80Updated 5 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 2 years ago
- Presentations on Liquid Haskell, type theory, and more☆44Updated last month
- Benchmarks to compare Haskell streaming library performance☆102Updated last week
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated last year
- Fast and simple JSON encoding toolkit☆83Updated 11 months ago
- Retry combinators for monadic actions that may fail☆112Updated last year
- Source for personal blog.☆76Updated last week
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Haskell library containing common graph search algorithms☆52Updated 2 weeks ago
- Comma (and other) separated values☆76Updated last year
- Write "Concurrency" section of "A Tour of Go" in Haskell☆130Updated 6 years ago
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- Lightweight package providing commonly useful parser combinators☆52Updated 5 months ago
- A free weekly newsletter about the Haskell programming language.☆89Updated 5 years ago
- Check properties on standard classes and data structures☆79Updated 10 months ago
- A workspace for research teams☆106Updated 4 years ago