input-output-hk / typed-protocols
Session types framework with support of protocol pipelining.
☆15Updated last month
Related projects ⓘ
Alternatives and complementary repositories for typed-protocols
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆45Updated this week
- GHC plugin to desugar ! into do-notation☆37Updated 5 months ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆19Updated 7 months ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- ☆22Updated 10 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Order theory☆23Updated last year
- First Class Record Fields in Haskell☆17Updated 4 months ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆42Updated last week
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- Examples for Streamly☆27Updated 4 months ago
- ☆38Updated 5 months ago
- A modern Haskell debugger☆29Updated last year
- Interpret Haskell programs into any cartesian closed category.☆57Updated 3 weeks ago
- Calculate Haskell dependency ranges from multiple build plans☆33Updated 6 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 10 months ago
- An interface for GHC type-checking plugins☆20Updated last week
- ☆18Updated 3 years ago
- ☆15Updated 2 years ago
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 2 years ago
- ☆35Updated 3 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 10 months ago
- Composable Concurrent Computation Done Right☆30Updated last year
- Batteries-included structured logging library☆29Updated 2 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆33Updated 4 months ago
- A library for benign effects in Haskell☆20Updated last year
- There are many category theory implementations, but this one is mine☆14Updated 2 months ago
- Algebraic effects in the Bluefin effect system☆13Updated 6 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Overloaded plugin☆31Updated 4 months ago