https://github.com/input-output-hk/io-sim

Haskell's IO simulator which closely follows core packages (base, async, stm).

haskell partial-order-reduction simulation-framework

Last synced: 13 Oct 2025