Utilities and documentation for exploring idirs2's new elaborator reflection.

Fully type-safe Elysia client

Chatroom HTTP/WS website for hosting Mafia games.

Nixvim neovim flake.

dotfiles, NixOS configurations, and scripts of a mind deranged

Collection of of amino acyl tRNA synthetases

A website for hosting multiple Mahjong sessions with in a club with support for tables, members, game logs, and scoreboards.

Type definitions for BetterDiscord.

From the Transistor to the Web Browser, a rough outline for a 12 week course

vscode extension

Breath of the Wild object map

Tears of the Kingdom Object Map

Flash card revision tool with latex support

Python PS! API

Pokémon Showdown! chatbot, written in Python 2.