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.
Requirements and limitations
- Project entries describe acceptance mechanisms; the separate discussion track does not require public code or an acceptance test. Listing is not independent runtime verification.
- The reviewed snapshot has an intentionally empty console/firmware category. Do not infer implemented firmware coverage from the planned 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; entries are not necessarily REA integrations, and the list is not an official upstream affiliation.
About this entry
- Type
- Collection
- Category
- Related resource lists
- Relationship
- Community REA learning resource
- Targets
- Binary · Game
Sources reviewed
The description was reviewed against primary sources. This does not establish runtime testing, security auditing or verified compatibility.
Primary sources
- https://github.com/yibie/awesome-rea/blob/6df1bc922ac6b92dcd1b2f905c94d8cc4f3b5a3e/README.md
- https://github.com/yibie/awesome-rea/blob/6df1bc922ac6b92dcd1b2f905c94d8cc4f3b5a3e/CONTRIBUTING.md
- https://github.com/yibie/awesome-rea/blob/6df1bc922ac6b92dcd1b2f905c94d8cc4f3b5a3e/LICENSE
- https://github.com/yibie/awesome-rea/blob/6df1bc922ac6b92dcd1b2f905c94d8cc4f3b5a3e/categories/related-practices-discussions.md
- https://github.com/yibie/awesome-rea/blob/6df1bc922ac6b92dcd1b2f905c94d8cc4f3b5a3e/categories/console-and-firmware.md