cofree-coffee / cofree-bot
A library for building bots compositionally.
☆41Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for cofree-bot
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- An interface for GHC type-checking plugins☆20Updated 2 weeks ago
- ☆40Updated last year
- Symbol manipulation☆36Updated last year
- Session types framework with support of protocol pipelining.☆15Updated last month
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- ☆30Updated 3 years ago
- Composable Concurrent Computation Done Right☆30Updated last year
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Experiments about running Haskell via WebAssembly on Fastly☆38Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 5 months ago
- Leightweight generalized parser combinators☆17Updated 11 months ago
- high-powered optics in a small package☆50Updated last month
- Framework for artificial life and other evolutionary algorithms.☆30Updated 2 years ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- Batteries-included structured logging library☆29Updated 2 months ago
- A Typeclass for user-facing output☆53Updated 2 weeks ago
- Type-safe WebAssembly eDSL in Haskell☆21Updated 3 weeks ago
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆40Updated last month
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- ☆22Updated 10 months ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆29Updated last year
- Library to support efficient compilation of large records (linear in the number of record fields)☆44Updated 3 weeks ago
- ☆20Updated last year
- ☆35Updated 3 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 2 months ago
- A GHC plugin to derive instances.☆23Updated last year
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆23Updated 2 months ago
- Haskell Actors☆25Updated last year
- Type-safe printf from parsing GHC TypeLits Symbol☆24Updated 2 months ago