WoofWare/WoofWare.PawPrint
View on GitHub ↗ ★ 9 F#
An implementation of a deterministic .NET runtime, which can fuzz over all sources of nondeterminism; also some nascent tools for the symbolic analysis of IL.
4 mentions on Hacker News by 2 people: 1 story, 3 comments · first 2025-06-29 · latest 2026-06-06
20082026
-
▲ 3
Deterministic Implementation of a .NET Runtimestory by algorithmsRcool · 2026-06-06 · 0 comments