ChatTLA+ Dataset
The dataset release for the ChatTLA+ paper — SFT corpus and benchmark for TLA+ spec generation, posted anonymized for blind review.
Miscellaneous
ChatTLA+
Presentation on using LLMs for TLA+ formal specification generation and verification.
Sneaker Run
An endless runner game with a sneaker theme, built with vanilla JavaScript and HTML5 Canvas.
Fortnite OneShot
A playable browser-based Fortnite game generated by Claude Opus 4.5.
OneShot HM2016
A browser-based HITMAN-style first-person shooter built with HTML5 Canvas.
Advent of Code 2025
My Advent of Code 2025 attempt in Python. Got six days in before life took over.
BioOps Web
A React + Tailwind starter site for BioOps, an environmental awareness initiative.
Great Chicago Fire Digital Exhibit
An interactive digital exhibit about the Great Chicago Fire, built with SvelteKit and D3.js.
Auto Decode
Browser-based tool that automatically detects and decodes strings across multiple encoding formats.
Conway's Game of Life
Interactive implementation of Conway’s Game of Life with preset patterns
Windows Design Website
Homepage of the website as imagined it would look like as a Windows 7 homepage. Website loading…
Chess.com Stats Display
A small Flask app that pulls Chess.com’s public API and graphs your rating history.
How to tell if written work is AI
Easily tell if something is AI using these obvious giveaways
BlackJack Game
Play BlackJack with fake money
GitHub pfp Generator
Generate a default GitHub profile picture below, Generate a new profile as much as you please. <!DOCTYPE html> Generate a Default GitHub Profile Picture Generate a Default GitHub Profile Picture Generate New Download Image