tweag / pirouette
Language-generic workbench for building static analysis
☆47Updated last year
Alternatives and similar repositories for pirouette:
Users that are interested in pirouette are comparing it to the libraries listed below
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Updated last week
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆49Updated last month
- ☆39Updated 3 months ago
- Session types framework with support of protocol pipelining.☆15Updated last week
- Automatically generate Haskell bindings from C header files☆34Updated this week
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆39Updated this week
- GHC plugin to desugar ! into do-notation☆37Updated last month
- ☆40Updated last month
- A set of utilities for using indexed types including containers, equality, and comparison.☆59Updated last month
- ☆49Updated last week
- A library for stateful property-based testing☆29Updated 2 months ago
- Generic functions for single-sorted first-order structural unification☆41Updated 2 weeks ago
- ☆22Updated last month
- Principled and efficient binary serialization☆60Updated 2 years ago
- ☆33Updated 8 months ago
- Fine-grained lattice primitives for Haskell☆35Updated 2 weeks ago
- Crypto for Haskell☆37Updated 3 years ago
- Bindings to libsodium for Haskell☆33Updated last week
- ☆15Updated 4 months ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- rewrite rules for type-level equalities☆62Updated 8 months ago
- A modern Haskell debugger☆30Updated last year
- Issues and proposals related to the HF Stability Working Group☆26Updated last week
- Algebraic effects in the Bluefin effect system☆14Updated 8 months ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆39Updated 5 months ago
- coverage driven random testing framework☆23Updated 2 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- ☆35Updated this week