Hacker GitHub

← All repos

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

Mentions per year 4 mentions · busiest year 2025 (2)
20082026
  1. 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…
  2. …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…
  3. …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…