Projects

A statically-typed compiled language for safety-critical embedded systems, with Z3-verified contracts and self-healing runtime blocks

Coq (Rocq) and TLA+ specifications of the Rubik’s Snake state space — 4^23 configurations, formally

A local macOS app that drops a cover image and audio files in, and gives you back MP3s with the cover embedded as ID3v2 artwork — no account, no upload.

Free flashcards and practice quiz for the Anthropic Claude Certified Architect exam.

Two homeworks from Loyola’s special-topics LLMs class: prompting GPT-2 and comparing base vs instruction-tuned Qwen.

Scripts to scrape and catalog cutaway gags from Family Guy episodes.

An AI-powered trade and prediction analysis platform built for HackIllinois 2026.

An AI agent that learns to play Connect 4 through self-play reinforcement learning.

A voice-first RAG chatbot trained on Loyola’s ITS knowledge base, built after two years of answering the same tickets.

Fine tuning GPT-2 to talk like Yeat

Voice conversion models for different artists using Retrieval-based Voice Conversion (RVC).

A solver for packing 54 T-tetracubes into a 6x6x6 cube using Knuth’s Dancing Links algorithm.

Reverse engineering the xoroshiro128++ PRNG to recover internal state and predict outputs.

A formal TLA+ specification of a walk-in industrial oven with a focus on safety interlocks.

Verifying the Goldbach Conjecture by brute force for every even number up to 1 billion.

A formal TLA+ specification modeling a laptop’s power states, battery, lid, thermals, and auto-suspend.

A formal TLA+ specification of the Dexcom G7 continuous glucose monitor’s behavior and safety properties.

UDP send/receive utilities for binary payloads.

A parser for the NASDAQ ITCH protocol with a UDP server for binary data streams.

Early exploratory repo for generating TLA+ specs from natural-language requirements with an LLM, with a TLC harness wired in. The scaffold that eventually grew into ChatTLA+.

Protect sensitive keys from accidentally being uploaded to your git history at any point.

AI Glucose Insights App

A clone of the Facebook UI built as a web development class project.

A toy transformer that reads pyfiglet ASCII art and tries to spit the original word back out. Calling it an LLM is generous.

A tiny Rust simulator for the online parking-spot problem with switching costs.

A SwiftUI soundboard app I built in an afternoon to get more comfortable with iOS.

A proof of concept Jarvis-style macOS controller that takes voice commands and hand gestures from the webcam.

A toy where two local Ollama models loop on consciousness until one of them gives up

Obfuscator for public Python code to confuse LLMs

An experimental AI-centric operating system exploring tight integration between AI and system-level operations.

A Chess engine-esque Connect 4 analyzer

An interactive microwave in the browser to learn TLA+

The formal methods language

Locally hosted youtube downloader for mp3 and mp4s

A Simple Sign Language Recognition App using OpenCV

A VS Code extension I made when I kept running out of Copilot credits — flattens a repo into one .txt file you can paste into a free LLM.

View your Dexcom number in your Mac OS Navigation Bar

Custom Safari Script for TDX Popups

A real-time bus and train tracking system built during Loyola’s Hackathon.

A scikit-learn decision tree that guesses whether a current MLB player would get voted into Cooperstown, built for the Google Cloud x MLB hackathon.

A small Python CLI for chatting with OpenAI and running English-to-Bash commands from the terminal. The thing I actually open when I want to talk to a model.

A movie recommendation website developed as part of the Loyola AI Club’s Fall 2024 project.

A habit manager for daily consistency.

Calculate your One Rep Max

A mental wellness application developed at Northwestern’s Wildhacks Hackathon.

Scrabble Inspired Anagram Solver

Scrabble Inspired Anagram Solver

A Java program to find overlapping free time for up to four people.