int-index / caps
Monadic capabilities with late binding
☆28Updated last year
Alternatives and similar repositories for caps
Users that are interested in caps are comparing it to the libraries listed below
Sorting:
- Source Layouting Engine☆11Updated 4 years ago
- TemplateHaskell functions to generate types and converter function.☆18Updated last year
- 📤 defer instance resolution until runtime☆18Updated 5 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Maps using values' monoidal structure during merging☆42Updated last month
- van Laarhoven Free Monad with Extensible Effects☆23Updated 9 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- ☆45Updated 3 years ago
- high-resolution performance benchmarking☆26Updated 3 months ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 6 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago
- Automation of Haskell package release process.☆31Updated last year
- Experimental tool to build reports on GHC build time for your projects.☆24Updated 2 years ago
- Browser plugin to automatically redirect Hackage library pages to Stackage pages.☆15Updated 7 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Demonstrating comonad transformers.☆37Updated 8 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- This is not the Git repo you're looking for...☆25Updated 5 years ago
- Extensible type-safe unions for Haskell☆33Updated last month
- The Str signature and implementations☆21Updated 7 years ago
- ☆24Updated 4 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- A servant client written for GHCJS☆12Updated 8 years ago
- ☆68Updated last year
- Sum and Product types and such☆29Updated 5 years ago
- Text-based interactive GHC .prof viewer☆48Updated last year
- Map and Set over contiguous memory☆21Updated last year
- Kleene algebra, regular expressions☆32Updated last year
- An attoparsec roundtrip☆18Updated 5 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago