bolt12 / study-for-free
Notes of various papers regaridng free monads and extensible effects
☆21Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for study-for-free
- ☆31Updated 2 years ago
- Haskell Profunctor Optics experiments☆15Updated 3 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Symbol manipulation☆36Updated last year
- checkers for algebra driven design☆34Updated 2 years ago
- ZuriHac registration system☆22Updated 5 months ago
- ☆34Updated 3 years ago
- Playing with Haskell effect systems☆14Updated 4 years ago
- Beseder: make impossible state transitions impossible☆32Updated 4 years ago
- Derive instances through isomorphisms☆20Updated 5 months ago
- high-powered optics in a small package☆50Updated last month
- reverse dependency build matrix generator☆33Updated 4 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- Haskell bindings for the Slack web API☆32Updated 3 weeks ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 4 years ago
- Classy error-handling (and dispatching!) in Haskell.☆48Updated 5 years ago
- type level sets☆67Updated 5 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆70Updated last month
- A GHC plugin to derive instances.☆23Updated last year
- ☆29Updated 5 years ago
- Implementation of named parameters for `postgresql-simple` library☆38Updated last month
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- A Generic implementation of data-has.☆22Updated 4 years ago
- heidi : tidy data in Haskell☆27Updated 3 years ago
- ☆30Updated 3 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 3 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 3 years ago
- Composable Concurrent Computation Done Right☆30Updated last year