This is a successor of prboom+ with extra tooling for demo recording and playback, with a focus on speedrunning and quality of life.

Vim-fork focused on extensibility and usability

Send video/audio over HDMI on an FPGA

An all-in-one Spartan Edge Accelerator shield implementation for the gbaHD

An open-source GBA consolizer.

📘 Automatic documentation from sources, for MkDocs.

A fan port of Cave Story for the Sega Mega Drive

Powerline theme from Spacemacs

A Dependently Typed Functional Programming Language

RFCs for changes to Rust

papers of Per Martin Löf

The Rust package manager

Empowering everyone to build reliable and efficient software.

🗺️ Minecraft map editor and mod