int-index / caps
Monadic capabilities with late binding
☆27Updated last year
Alternatives and similar repositories for caps:
Users that are interested in caps are comparing it to the libraries listed below
- Source Layouting Engine☆11Updated 3 years ago
- Experimental tool to build reports on GHC build time for your projects.☆24Updated 2 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Extensible type-safe unions for Haskell☆33Updated 4 months ago
- van Laarhoven Free Monad with Extensible Effects☆23Updated 8 years ago
- 📤 defer instance resolution until runtime☆18Updated 5 years ago
- Maps using values' monoidal structure during merging☆42Updated last month
- TemplateHaskell functions to generate types and converter function.☆18Updated last year
- high-level stream sockets in haskell☆17Updated last year
- An experimental intermediate language for GHC☆36Updated 7 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 3 weeks ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- rewrite rules for type-level equalities☆62Updated 8 months ago
- Sum and Product types and such☆29Updated 4 years ago
- Integration of the Warp webserver with Let's Encrypt☆18Updated 7 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- ☆20Updated last year
- Automatically re-export Haskell modules.☆32Updated last month
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago
- Bidirectional mapping between two key types☆22Updated 8 months ago
- A servant client written for GHCJS☆12Updated 8 years ago
- ☆34Updated 3 years ago
- There are many category theory implementations, but this one is mine☆15Updated 4 months ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Map and Set over contiguous memory☆21Updated last year
- ☆45Updated 3 years ago