Stars
Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMU
Monadic effects and equational reasoning in Rocq
Release with confidence, state-of-the-art property testing for Haskell.
Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMU
Monadic effects and equational reasoning in Rocq
Release with confidence, state-of-the-art property testing for Haskell.