input-output-hk / typed-protocolsLinks
Session types framework with support of protocol pipelining.
☆16Updated this week
Alternatives and similar repositories for typed-protocols
Users that are interested in typed-protocols are comparing it to the libraries listed below
Sorting:
- GHC plugin to desugar ! into do-notation☆38Updated 9 months ago
- Chapelure is a diagnostic library for Haskell☆46Updated 2 years ago
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆32Updated last week
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆52Updated this week
- ☆50Updated 2 months ago
- An Awesome MCP Server Framework for Haskell☆37Updated 4 months ago
- ☆22Updated last year
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 9 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated last week
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆56Updated last week
- A Haskell library for on-disk tables based on LSM-Trees☆50Updated this week
- A modern Haskell debugger☆31Updated 7 months ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated 2 months ago
- 👅 Parse Haskell Language Extensions☆48Updated 2 months ago
- Generate your PureScript types and API client from a Haskell Servant backend.☆31Updated 2 years ago
- Libraries for the Effectful Haskell effects system☆23Updated 3 years ago
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- GHC plugin for automatic case splitting☆16Updated 3 months ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Updated this week
- Existential type.☆37Updated last year
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆70Updated last week
- todo and unimplemented, robustly implemented☆36Updated last year
- ☆19Updated 4 months ago
- Automatically generate Haskell bindings from C header files☆61Updated this week
- A really small example of the Backpack module system for Haskell☆59Updated 2 weeks ago
- high-powered optics in a small package☆53Updated 3 months ago
- ☆41Updated 2 years ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last week