re-xyr / availLinks
Low-overhead effect management for concrete monads
☆37Updated 3 years ago
Alternatives and similar repositories for avail
Users that are interested in avail are comparing it to the libraries listed below
Sorting:
- A simple set of io-uring bindings in Haskell☆28Updated 5 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- GRIN backend for Idris2☆33Updated 3 years ago
- Principled and efficient binary serialization☆60Updated 2 years ago
- Efficient Haskell effect handlers based on evidence translation.☆84Updated 4 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- high-powered optics in a small package☆53Updated 9 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- ☆18Updated 4 years ago
- semirings and *-semirings of types in base/haskell-platform☆42Updated last year
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 4 months ago
- Add early return to any do-expression☆46Updated 4 years ago
- Beseder: make impossible state transitions impossible☆31Updated 5 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- type level sets☆67Updated 5 years ago
- Example uses of linear types☆43Updated 5 years ago
- ☆31Updated 4 years ago
- A GHC plugin to derive instances.☆23Updated 2 years ago
- typing haskell in haskell☆16Updated 2 years ago
- APIs for more recursive definitions☆19Updated 9 months ago
- Playing with Haskell effect systems☆13Updated 5 years ago
- ICFP tutorial☆39Updated 4 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Symbol manipulation☆36Updated 2 years ago
- Type-safe WebAssembly eDSL in Haskell☆27Updated 9 months ago