cofree-coffee / cofree-bot
A library for building bots compositionally.
☆41Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for cofree-bot
- the dynabook but for haskell☆23Updated 5 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- ☆40Updated last year
- Ghosts of Departed Proofs☆60Updated 3 years ago
- Library to support efficient compilation of large records (linear in the number of record fields)☆44Updated last month
- Session types framework with support of protocol pipelining.☆15Updated last month
- A Typeclass for user-facing output☆53Updated 3 weeks ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆23Updated 2 months ago
- ☆22Updated 10 months ago
- high-powered optics in a small package☆50Updated last month
- Symbol manipulation☆36Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 6 months ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Framework for artificial life and other evolutionary algorithms.☆30Updated 2 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- A Haskell libary for fast arrowized FRP based on signal functions☆17Updated 3 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- An interface for GHC type-checking plugins☆20Updated 3 weeks ago
- Haskell Actors☆25Updated last year
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- A list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)☆15Updated 5 years ago
- Building a calculator with Reflex-FRP☆10Updated 2 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆33Updated 5 months ago
- Bidirectional Parsing. Work in Progress☆30Updated last month
- Profunctor optics for the endofunctor category on Hask☆27Updated 4 years ago
- A GHC plugin for rust style impl with -XOverloadedRecordDot☆19Updated 3 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated last year