Star on GitHubStar1.1k stars

Collection

awesome-rea (yibie): verification-focused projects and practice reports

Organizes AI-assisted game decompilation, native ports, static recompilation and tooling around stated acceptance checks, alongside a separate track of practitioner write-ups and discussions. Useful for finding primary reports and comparing how projects define correctness.

Targets
Binary · Game
Category
Related resource lists
Relationship
Community REA learning resource
Sources reviewed

Requirements & limits

  • Project entries describe acceptance mechanisms; the separate discussion track does not require public code or an acceptance test.
  • The reviewed snapshot has an intentionally empty console/firmware category.
  • Collection summaries can lag primary repositories, including platform support, progress and license scope; follow the linked project sources before relying on a claim.
  • The collection LICENSE declares CC0 1.0 Universal. Linked projects and source articles retain their own rights and license conditions.
  • An independent community collection.

About this entry

The description was reviewed against primary sources.

Report an outdated entry Suggest a translation fix

Primary sources

  1. README.md GitHub · yibie/awesome-rea · Revision 6df1bc9
  2. CONTRIBUTING.md GitHub · yibie/awesome-rea · Revision 6df1bc9
  3. LICENSE GitHub · yibie/awesome-rea · Revision 6df1bc9
  4. categories/related-practices-discussions.md GitHub · yibie/awesome-rea · Revision 6df1bc9
  5. categories/console-and-firmware.md GitHub · yibie/awesome-rea · Revision 6df1bc9

More in Related collections

All 32 entries in Related collections

↑↓ move↵ open⌘↵ new tab