bolt12 / study-for-freeLinks
Notes of various papers regaridng free monads and extensible effects
☆20Updated 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
Sorting:
- ☆31Updated 3 years ago
- reverse dependency build matrix generator☆33Updated 4 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Beseder: make impossible state transitions impossible☆31Updated 5 years ago
- Playing with Haskell effect systems☆13Updated 5 years ago
- checkers for algebra driven design☆34Updated 2 years ago
- ZuriHac registration system☆22Updated last month
- type level sets☆67Updated 5 years ago
- ☆34Updated 4 years ago
- Experimental, user-contributed effects and interpreters for polysemy☆72Updated last year
- Build a simple Halogen app using Nix☆25Updated 2 years ago
- Symbol manipulation☆36Updated 2 years ago
- Guess-A-Number game in Haskell using Polysemy☆28Updated 2 years ago
- A really small example of the Backpack module system for Haskell☆54Updated 6 months ago
- ☆31Updated 4 years ago
- Haskell program configuration using higher kinded data☆29Updated last year
- A GHC plugin to derive instances.☆23Updated 2 years ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated 2 weeks ago
- Implementation of named parameters for `postgresql-simple` library☆38Updated 9 months ago
- Generates a references DB from .hie files☆67Updated last month
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆69Updated 6 months ago
- rewrite rules for type-level equalities☆62Updated last year
- Example of usage polysemy and servant☆56Updated 5 years ago
- Library to support efficient compilation of large records (linear in the number of record fields)☆47Updated 4 months ago
- ☆13Updated 5 years ago
- A bunch of examples that show how to do stuff using Haskell's Servant web framework☆43Updated 4 years ago
- Haskell Actors☆25Updated last year
- First-class type families☆88Updated last month
- Literally the best anonymous records☆36Updated 2 years ago
- Classy error-handling (and dispatching!) in Haskell.☆46Updated 5 years ago