Eric Spencer - Computer Science Portfolio on Eric Spencer

Resilient

Wed, 20 May 2026 00:00:00 +0000

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

Rubik's Snake — Formally Verified

Wed, 20 May 2026 00:00:00 +0000

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

tunes2tube

Fri, 15 May 2026 00:00:00 +0000

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.

Claude Architect Quiz

Thu, 14 May 2026 00:00:00 +0000

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

ChatTLA+ Dataset

Wed, 13 May 2026 00:00:00 +0000

The dataset release for the ChatTLA+ paper — SFT corpus and benchmark for TLA+ spec generation, posted anonymized for blind review.

COMP 388 LLM Homework

Thu, 23 Apr 2026 00:00:00 +0000

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

ChatTLA+

Fri, 17 Apr 2026 00:00:00 +0000

Presentation on using LLMs for TLA+ formal specification generation and verification.

Founder

Mon, 30 Mar 2026 00:00:00 +0000

Photo editing app built because nothing on the App Store was doing what I wanted.

Family Guy Gag Scraper

Sat, 21 Mar 2026 00:00:00 +0000

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

BrightBet.tech

Fri, 27 Feb 2026 00:00:00 +0000

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

Reinforcement Learning Connect 4 Bot

Wed, 18 Feb 2026 00:00:00 +0000

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

Loyola ITS RAG Bot

Sat, 24 Jan 2026 00:00:00 +0000

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

Sneaker Run

Wed, 14 Jan 2026 00:00:00 +0000

An endless runner game with a sneaker theme, built with vanilla JavaScript and HTML5 Canvas.

Yeat Large Language Model

Wed, 14 Jan 2026 00:00:00 +0000

Fine tuning GPT-2 to talk like Yeat

RVC Artist Model

Fri, 09 Jan 2026 00:00:00 +0000

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

Fortnite OneShot

Sun, 28 Dec 2025 00:00:00 +0000

A playable browser-based Fortnite game generated by Claude Opus 4.5.

Cubed Pack Solver

Fri, 26 Dec 2025 00:00:00 +0000

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

OneShot HM2016

Fri, 26 Dec 2025 00:00:00 +0000

A browser-based HITMAN-style first-person shooter built with HTML5 Canvas.

Advent of Code 2025

Thu, 25 Dec 2025 00:00:00 +0000

My Advent of Code 2025 attempt in Python. Got six days in before life took over.

Reverse Engineering Xoroshiro128++

Tue, 16 Dec 2025 00:00:00 +0000

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

TLA+ Model of a Walk-In Oven

Fri, 12 Dec 2025 00:00:00 +0000

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

Founder

Mon, 01 Dec 2025 00:00:00 +0000

No-code eCommerce storefronts that aren't hidden behind a monthly subscription.

Goldbach Conjecture

Fri, 28 Nov 2025 00:00:00 +0000

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

TLA+ Model of a Laptop

Thu, 27 Nov 2025 00:00:00 +0000

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

BioOps Web

Sun, 16 Nov 2025 00:00:00 +0000

A React + Tailwind starter site for BioOps, an environmental awareness initiative.

Great Chicago Fire Digital Exhibit

Fri, 14 Nov 2025 00:00:00 +0000

An interactive digital exhibit about the Great Chicago Fire, built with SvelteKit and D3.js.

TLA+ Model of Dexcom G7

Wed, 12 Nov 2025 00:00:00 +0000

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

Auto Decode

Thu, 06 Nov 2025 00:00:00 +0000

Browser-based tool that automatically detects and decodes strings across multiple encoding formats.

UDP server (binary)

Thu, 06 Nov 2025 00:00:00 +0000

UDP send/receive utilities for binary payloads.

Founder

Fri, 24 Oct 2025 00:00:00 +0000

Lightweight AI-assisted stock analysis and portfolio helper for hobby traders.

ITCH Protocol Parser

Fri, 10 Oct 2025 00:00:00 +0000

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

Founder

Mon, 06 Oct 2025 00:00:00 +0000

Independent software studio shipping small, subscription-free tools built entirely in the United States.

Conway's Game of Life

Wed, 01 Oct 2025 00:00:00 +0000

Interactive implementation of Conway's Game of Life with preset patterns

TLA+ Formal Generation

Sun, 21 Sep 2025 00:00:00 +0000

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+.

Git Key Guardian

Sun, 14 Sep 2025 00:00:00 +0000

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

GluCoPilot

Thu, 11 Sep 2025 00:00:00 +0000

AI Glucose Insights App

Facebook Clone

Fri, 05 Sep 2025 00:00:00 +0000

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

Training an LLM on ASCII

Wed, 03 Sep 2025 00:00:00 +0000

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

mc-carspot: Online Parking Simulation in Rust

Fri, 22 Aug 2025 00:00:00 +0000

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

iOS Soundboard

Thu, 14 Aug 2025 00:00:00 +0000

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

Windows Design Website

Mon, 11 Aug 2025 00:00:00 +0000

Homepage of the website as imagined it would look like as a Windows 7 homepage.

Website loading…

Chess.com Stats Display

Fri, 01 Aug 2025 00:00:00 +0000

A small Flask app that pulls Chess.com's public API and graphs your rating history.

Gesture

Fri, 01 Aug 2025 00:00:00 +0000

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

ITS Service Desk Technician

Fri, 01 Aug 2025 00:00:00 +0000

Provide frontline technical support and access management.

Researcher

Fri, 01 Aug 2025 00:00:00 +0000

Research on TLA+ and fine-tuning open-source LLMs for formal methods.

AIs Talking Philosophy

Thu, 31 Jul 2025 00:00:00 +0000

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

How to tell if written work is AI

Thu, 31 Jul 2025 00:00:00 +0000

Easily tell if something is AI using these obvious giveaways

llmjammer

Mon, 28 Jul 2025 00:00:00 +0000

Obfuscator for public Python code to confuse LLMs

AI OS

Wed, 02 Jul 2025 00:00:00 +0000

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

Connect 4 Game Engine

Sun, 29 Jun 2025 00:00:00 +0000

A Chess engine-esque Connect 4 analyzer

Chess Game

Fri, 20 Jun 2025 00:00:00 +0000

Interactive chess game with AI opponent

BlackJack Game

Fri, 13 Jun 2025 00:00:00 +0000

Play BlackJack with fake money

GitHub pfp Generator

Wed, 04 Jun 2025 00:00:00 +0000

Generate a default GitHub profile picture below, Generate a new profile as much as you please.

Generate a Default GitHub Profile Picture

Software Engineering Intern

Mon, 19 May 2025 00:00:00 +0000

Full-stack implementations and interactive claims dashboard for B2B SaaS portal.

Web Based TLA+ Microwave

Sat, 10 May 2025 00:00:00 +0000

An interactive microwave in the browser to learn TLA+

coq Presentation

Thu, 01 May 2025 00:00:00 +0000

The formal methods language

Software Engineer

Thu, 01 May 2025 00:00:00 +0000

Implemented a web-based visualization and demo application for TLA+ using Spring Boot and Vaadin.

Search Engine

Sun, 27 Apr 2025 00:00:00 -0700

A barebones Google search experience

YouTube Downloader

Mon, 14 Apr 2025 00:00:00 +0000

Locally hosted youtube downloader for mp3 and mp4s

AI Sign Language Interpreter

Mon, 07 Apr 2025 00:00:00 +0000

A Simple Sign Language Recognition App using OpenCV

flatten-repo VSC Extension

Fri, 28 Mar 2025 00:00:00 +0000

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.

Dexcom Navbar Icon Mac OS

Thu, 20 Mar 2025 00:00:00 +0000

View your Dexcom number in your Mac OS Navigation Bar

My ~/.zshrc file

Thu, 20 Mar 2025 00:00:00 +0000

Ran every time I open a terminal

Old Website

Tue, 18 Mar 2025 16:13:32 -0600

My older website

TDX Window Blocker

Sat, 08 Mar 2025 00:00:00 +0000

Custom Safari Script for TDX Popups

CTA Transit Tracker

Sun, 16 Feb 2025 00:00:00 +0000

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

MLB Hall of Fame Predictor

Fri, 17 Jan 2025 00:00:00 +0000

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.

Terminal GPT

Fri, 10 Jan 2025 00:00:00 +0000

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.

Software Engineering Intern

Wed, 01 Jan 2025 00:00:00 +0000

Backend automation and workflow optimization using Google Apps Script.

COMP322 Final Project Reflection

Sat, 14 Dec 2024 00:00:00 +0000

Eric Spencer + Matthew Caballero
December 14, 2024
COMP 322/422 Reflection

Reflections on HealthUp!

Abstract

HealthUp! is an application focused on bettering a user’s information about their health. Users can log nutritional information of foods and track their workouts. We wanted to develop this app to support our passion for healthy living.

Repository (without keys)

GitHub Repository

If you attempt to download and run the app, see the bolded text in “Testing & Iterative Design.” The iOS version of the app does not work.

Movie Recommendation Website

Sat, 14 Dec 2024 00:00:00 +0000

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

Islamic Influences in Timbuktu

Wed, 30 Oct 2024 00:00:00 +0000

LITR 238 Fall 2024

Vice President of Technology

Thu, 01 Aug 2024 00:00:00 +0000

Managed and coordinated semester-long technical projects for the club.

ITS Service Desk Technician

Mon, 01 Jul 2024 00:00:00 +0000

Provided frontline technical support and access management.

Daily Task - Wellness Tracker

Mon, 17 Jun 2024 00:00:00 +0000

A habit manager for daily consistency.

IT Chair

Wed, 01 May 2024 00:00:00 +0000

Managed the organization's online presence

One Rep Max Calculator

Mon, 15 Apr 2024 00:00:00 +0000

Calculate your One Rep Max

Serenity

Sun, 07 Apr 2024 00:00:00 +0000

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

Oldest Website

Mon, 01 Apr 2024 16:13:32 -0600

My oldest website

AI Chatbot Experiment

Sun, 31 Mar 2024 00:00:00 +0000

Building and testing a conversational AI system

Neural Network Image Recognition Project

Sun, 31 Mar 2024 00:00:00 +0000

Exploring computer vision with custom neural networks

Jr. AI Prompt Engineer

Fri, 01 Mar 2024 00:00:00 +0000

Created and refined prompts for ChatGPT-4 to meet specific criteria and improve output quality.

Anagram Solver V2

Fri, 02 Feb 2024 00:00:00 +0000

Scrabble Inspired Anagram Solver

Anagram Solver

Fri, 01 Dec 2023 00:00:00 +0000

Scrabble Inspired Anagram Solver

Binary Bomb Puzzle

Wed, 01 Nov 2023 00:00:00 +0000

Solving the infamous Binary Bomb Lab for extra credit.

Undergraduate Research Assistant

Sat, 01 Apr 2023 00:00:00 +0000

Research on AI interpretability and experimental studies involving ChatGPT and advanced Java concepts.

Free Time Calculator in Java

Sat, 10 Dec 2022 00:00:00 +0000

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

Bachelor of Science in Computer Science

Mon, 01 Aug 2022 00:00:00 +0000

Computer Science major with an Information Systems minor.

Seller

Wed, 01 Jan 2020 00:00:00 +0000

E-commerce seller handling sourcing, listings, and customer service.

Fenwick High School

Wed, 01 Aug 2018 00:00:00 +0000

High School Diploma

Honor Caddie

Sat, 01 Apr 2017 00:00:00 +0000

Seasonal hospitality and customer service role.

Eric Spencer - AI & Technology

Mon, 01 Jan 0001 00:00:00 +0000

Eric Spencer - Building AI projects and open source tools. Loyola University Chicago alum (BS Computer Science, 2026) focused on machine learning, web development, and innovation.

Eric Spencer - Developer | AI Builder | Open Source

Mon, 01 Jan 0001 00:00:00 +0000

Eric Spencer is a full-stack developer and AI builder creating innovative software solutions. Explore his tech stack, projects, and work.

Who is Eric Spencer? - AI Builder & Developer

Mon, 01 Jan 0001 00:00:00 +0000

Learn about Eric Spencer - an AI builder and developer based in Chicago creating AI projects, open source tools, and innovative software solutions.