Pinned Loading

1. m2c m2c Public

   A decompiler targeting MIPS, PowerPC, and ARM.

   Python 603 64

2. bingo64 bingo64 Public

   Forked from n64decomp/sm64

   Bingo64, a Super Mario 64 hack that implements in-game bingo.

   C 15 2

3. sm64-wmotr-abc-proof sm64-wmotr-abc-proof Public

   Attempting to prove SM64 will never be completed in 0 A presses.

   Rocq Prover 1

4. solving-spyweb solving-spyweb Public

   Implementation and solver of SpyWeb, a children's board game.

   Python

5. sm64.sql sm64.sql Public

   WIP: A reproducible SQL database of Super Mario 64 data.

   Python 1

6. sm64_pspace sm64_pspace Public

   WIP: Construction of a proof that Super Mario 64 is PSPACE-complete.

   C 1