matt-kempster Goto Github PK

advent_of_code_2020

auto-decompiler

Tools to make decompilation of Nintendo 64 games simple and elegant

bingo64

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

decomp.me

A collaborative online space where you can contribute to ongoing decompilation projects

discord_chat_replay

Replay a Discord chat log in video by generating subtitles to overlay

fast64

kempster.com

My personal website.

m2c

A MIPS and PowerPC decompiler.

mathlib

Lean mathematical components library

no_context_john_wilson

Machinery powering @no_context_john_wilson on Instagram

papermario

Decompilation of Paper Mario

project_euler

My solutions to some Project Euler problems.

sm64.sql

A reproducible SQL database of Super Mario 64 data.

sm64_doc_measurer

A tool to measure the documentation of the decompiled SM64 source.

sm64_match_helpers

Assorted utilities for matching a new version of SM64, originally designed for the EU version.

sm64_pspace

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

space_brain_the_game

You are an AI tasked with maintaining a space colony. Can you satisfy your dimwit colonists?

subpython

An interpreter for a minimal version of Python

synctube

Synchronized video viewing with chat and other features (one-channel web service)

usort

A safe code formatter that sorts python imports

win95-maze-rs

Windows 95® screensaver maze in Rust with OpenGL.