BartoszMilewski / Haskell
Haskell exercises
☆12Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Haskell
- Braiding extensible effects together in a pipeline/workflow of tasks☆56Updated last year
- A logical authorization system☆50Updated 2 years ago
- Express parametrable, composable and portable data pipelines☆89Updated 2 years ago
- ️🌈 Convenient interface for printing colourful messages☆66Updated last month
- Stream editing with Haskell Megaparsec parsers☆79Updated 6 months ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated 2 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆155Updated 3 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆82Updated last week
- ICFP 2020 papers. Crowd-sourced☆92Updated 4 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆201Updated 7 months ago
- Named parameters (keyword arguments) for Haskell☆90Updated 3 weeks ago
- do-notation for Category and "Arrow without arr"☆63Updated 7 years ago
- CQL: Categorical Query Language implementation in Haskell☆163Updated last year
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated last year
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Haskell language tools for Python☆157Updated 4 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆119Updated 2 months ago
- ☆47Updated 5 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆25Updated 10 months ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆212Updated last year
- ⚡️Efficient implementation of Map with types as keys☆100Updated 10 months ago
- Relational programming in Haskell. Mostly developed on twitch.☆256Updated 2 months ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆32Updated 5 years ago
- VSCode extension for Haskell☆108Updated 10 months ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 3 months ago
- 📓 Flexible and configurable modern #Haskell logging framework☆259Updated 8 months ago
- Show Haskell type annotations when doing code review on Github☆142Updated 3 years ago
- Plugin for formatting Haskell source code☆40Updated 3 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year