bolt12 / study-for-free
Notes of various papers regaridng free monads and extensible effects
☆21Updated 5 years ago
Alternatives and similar repositories for study-for-free:
Users that are interested in study-for-free are comparing it to the libraries listed below
- Haskell Profunctor Optics experiments☆15Updated 3 years ago
- ☆31Updated 2 years ago
- checkers for algebra driven design☆34Updated 2 years ago
- ☆34Updated 3 years ago
- Leightweight generalized parser combinators☆17Updated last year
- reverse dependency build matrix generator☆33Updated 4 years ago
- ZuriHac registration system☆22Updated this week
- A GHC plugin to derive instances.☆23Updated last year
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- An interface for GHC type-checking plugins☆20Updated last month
- Playing with Haskell effect systems☆14Updated 5 years ago
- A library to easily use servant and GDP together to build web apis with a lot of knowledge in the types☆10Updated 3 years ago
- Haskell Actors☆25Updated last year
- A really small example of the Backpack module system for Haskell☆53Updated 3 weeks ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- type level sets☆67Updated 5 years ago
- Beseder: make impossible state transitions impossible☆32Updated 4 years ago
- Guess-A-Number game in Haskell using Polysemy☆28Updated 2 years ago
- Derive instances through isomorphisms☆20Updated 7 months ago
- Safe web routing in haskell☆30Updated last year
- 🍰🍴Template project based on the cake-slayer architecture library☆19Updated 2 years ago
- Order theory☆23Updated last year
- rewrite rules for type-level equalities☆62Updated 8 months ago
- Game NetCode Solved☆24Updated 3 years ago
- Symbol manipulation☆36Updated last year
- Connecting Haskell projects, mentors, and learners!☆17Updated 6 years ago
- Omit fields for instance deriving☆37Updated 4 years ago
- A Generic implementation of data-has.☆22Updated 4 years ago
- A library encoding monoidal functors and related structures in Haskell.☆16Updated 11 months ago