bolt12 / study-for-freeLinks
Notes of various papers regaridng free monads and extensible effects
☆20Updated 6 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:
- Experimental, user-contributed effects and interpreters for polysemy☆72Updated 2 years ago
- ☆31Updated 3 years ago
- type level sets☆67Updated 6 years ago
- Build a simple Halogen app using Nix☆25Updated 3 years ago
- Haskell program configuration using higher kinded data☆29Updated last year
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated 2 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Playing with Haskell effect systems☆13Updated 6 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- First-class type families☆90Updated 2 months ago
- Easy Haskell Language Server tooling with Nix!☆55Updated 3 years ago
- A GHC plugin to derive instances.☆23Updated 2 years ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated 6 months ago
- Automatically trace all (showable) binds in do expressions☆84Updated 7 years ago
- ☆29Updated 6 years ago
- Example of usage polysemy and servant☆57Updated 6 years ago
- Visual tool to spot odd runtime behaviour of Haskell programs.☆109Updated 4 years ago
- Classy error-handling (and dispatching!) in Haskell.☆46Updated 6 years ago
- checkers for algebra driven design☆34Updated 3 years ago
- reverse dependency build matrix generator☆33Updated 5 years ago
- Nix installation for ghcide☆74Updated 5 years ago
- Find your open-soulmate <💜>☆77Updated 4 years ago
- Haskell library for semigroup actions and torsors☆64Updated 11 months ago
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆19Updated 4 years ago
- 🎯 IO with Exceptions tracked on the type-level☆58Updated 4 years ago
- ☆50Updated 6 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆74Updated last year
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- Machinery for throwing and catching exceptions with some annotation.☆35Updated 8 months ago
- Generate a derivation of (old) Spago dependencies, and use them to install them into the directory structure used by Spago.☆43Updated last year