A set of buggy example programs for playing with NaNofuzz plus a tutorial that can typically be completed in under eleven minutes. If reading this on GitHub, click Code->Codespaces->Create to immediately get started!

./
  tutorial/            NaNofuzz tutorial
  examples/            NaNofuzz examples

Several of the example programs have bugs that may be detected using NaNofuzz' heuristic validator. Other examples (e.g., roman, lcm, identitymatrix, modinv, normd) require human or property validators to identify some of the bugs.