evanrelf / drama
🎭 Actor library for Haskell
☆30Updated last year
Alternatives and similar repositories for drama:
Users that are interested in drama are comparing it to the libraries listed below
- higher-kinded data☆30Updated last year
- Order theory☆23Updated last year
- ☆18Updated 3 years ago
- HLint as a GHC source plugin.☆31Updated 6 months ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Parse bytes fast☆24Updated 8 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- A GHC plugin to derive instances.☆23Updated last year
- Dual Traversable☆42Updated last year
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Deep evaluation of data structures☆41Updated 4 months ago
- ☆35Updated 4 months ago
- Safe web routing in haskell☆30Updated last year
- Run lifted IO operations asynchronously and wait for their results☆28Updated 2 months ago
- rewrite rules for type-level equalities☆62Updated 9 months ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- ☆38Updated last month
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Automatic type class law checking.☆24Updated 2 weeks ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Clean up the formatting of 'show' output☆21Updated 5 months ago
- RFC 4648-compliant Base64☆33Updated 5 months ago
- There are many category theory implementations, but this one is mine☆15Updated 5 months ago
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 3 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Beseder: make impossible state transitions impossible☆32Updated 4 years ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆59Updated 2 weeks ago
- Dependently-typed finite maps (partial dependent products)☆65Updated 8 months ago