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
-
Main project is a deterministic .NET runtime ( https://github.com/Smaug123/WoofWare.PawPrint ). Today I upgraded it to net10, which has naturally caused dozens of regressions which Claude is beavering away at. Side project is my own agent…
comment by Smaug123 · 2026-05-10 · in Ask HN: What are you working on? (May 2026) -
…TUI framework, write a debugger to inspect the internal state of my deterministic .NET runtime ( https://github.com/Smaug123/WoofWare.PawPrint ) and to step forward and backward in time. Next: get the deterministic .NET runtime to a point…
comment by Smaug123 · 2025-11-09 · in Ask HN: What Are You Working On? (Nov 2025) -
…do with more features: https://github.com/Smaug123/WoofWare.Expect * A deterministic .NET runtime ( https://github.com/Smaug123/WoofWare.PawPrint ); been steaming towards `Console.WriteLine("Hello, world!")` for months, but good lord is…
comment by Smaug123 · 2025-06-29 · in Ask HN: What Are You Working On? (June 2025)