input-output-hk / quickcheck-dynamic
A library for stateful property-based testing
☆27Updated 3 months ago
Related projects: ⓘ
- Calculate Haskell dependency ranges from multiple build plans☆33Updated 4 months ago
- Language-generic workbench for building static analysis☆47Updated 11 months ago
- ☆35Updated 3 years ago
- Type Your Matrices For Great Good☆29Updated 4 years ago
- ☆36Updated 3 months ago
- A modern Haskell debugger☆29Updated 10 months ago
- Sturdy is a library for developing sound static analyses in Haskell.☆60Updated last year
- Fine-grained lattice primitives for Haskell☆35Updated last month
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- Create environments with GHC HEAD artefacts☆28Updated last year
- Bidirectional JSON serialization☆40Updated 3 years ago
- Inspecting tool for GHC compilation pipeline☆31Updated 11 months ago
- Go get tested! Github Actions matrix generator for your haskell projects☆44Updated this week
- ☆47Updated last month
- ☆45Updated 2 years ago
- Leightweight generalized parser combinators☆17Updated 9 months ago
- ☆19Updated this week
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆37Updated 2 weeks ago
- First-class type families☆86Updated last month
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- coverage driven random testing framework☆20Updated 4 months ago
- Script to download all of Hackage☆14Updated 5 years ago
- ZuriHac 2020 GHC typechecker plugins project☆19Updated 3 years ago
- A single typeclass for Functor, Bifunctor, Trifunctor, etc.☆40Updated last year
- join and meet semilattices, lower and upper bounds.☆43Updated 6 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 3 months ago
- NbE course @ Chalmers☆28Updated 4 years ago
- Composable Concurrent Computation Done Right☆29Updated last year
- A tutorial on how Agda infers things☆33Updated 3 years ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago