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 brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆99Updated 2 years ago
- A List of Haskell articles on good design, good testing☆45Updated 4 years ago
- Fast and simple JSON encoding toolkit☆83Updated 11 months ago
- ♾️ Sized list☆46Updated 5 months ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆47Updated 2 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆70Updated 3 weeks ago
- Haskell embedding of PlusCal☆60Updated 2 years ago
- Book: Introduction to Dependent Types with Idris☆76Updated last year
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated last year
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- Querying a rate-limited currency exchange API using Redis as a cache☆41Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Presentations on Liquid Haskell, type theory, and more☆44Updated 2 weeks ago
- 📚 A softer alternative to Haddock☆104Updated 4 years ago
- Effects libraries in Haskell☆72Updated last year
- ☆80Updated 5 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- ☆47Updated 5 years ago
- Haskell command line text stream processor☆88Updated 5 years ago
- Check properties on standard classes and data structures☆79Updated 10 months ago
- Advent of Code 2017☆41Updated 5 years ago
- A work stealing scheduler☆76Updated last year
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Stream editing with Haskell Megaparsec parsers☆79Updated 5 months ago
- Companion to the Haskell in Production series☆80Updated 5 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆202Updated 6 months ago
- Example of usage polysemy and servant☆56Updated 5 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated 2 years ago
- Jupyter notebooks☆58Updated last week
- Comma (and other) separated values☆77Updated last year