tweag / pirouette
Language-generic workbench for building static analysis
☆47Updated 11 months ago
Related projects: ⓘ
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆42Updated this week
- Go get tested! Github Actions matrix generator for your haskell projects☆44Updated this week
- A library for stateful property-based testing☆27Updated 3 months ago
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆29Updated this week
- A modern Haskell debugger☆29Updated 10 months ago
- ☆39Updated last week
- Calculate Haskell dependency ranges from multiple build plans☆33Updated 4 months ago
- Session types framework with support of protocol pipelining.☆15Updated this week
- Plutarch 2.0☆19Updated 3 months ago
- ☆36Updated 3 months ago
- Fine-grained lattice primitives for Haskell☆35Updated last month
- ☆31Updated 6 months ago
- ☆22Updated 8 months ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Bindings to libsodium for Haskell☆31Updated this week
- GHC plugin to desugar ! into do-notation☆37Updated 3 months ago
- Issues and proposals related to the HF Stability Working Group☆26Updated this week
- ☆47Updated last month
- Crypto for Haskell☆37Updated 3 years ago
- A Really Cool Calculator written in Haskell... or is it?☆40Updated 3 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated 2 weeks ago
- coverage driven random testing framework☆20Updated 4 months ago
- Examples for Streamly☆27Updated 2 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 9 months ago
- Principled and efficient binary serialization☆60Updated last year
- Formal specifications of the cardano ledger☆36Updated this week
- A fast Haskell library for parsing ByteStrings☆10Updated 2 years ago
- ☆35Updated 3 years ago
- FineTypes is an interface description language (IDL) focussing on types☆10Updated 6 months ago
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆37Updated 2 weeks ago