A collection of my projects showcasing experience with AI, web development, and software engineering. Each project represents different skills and technologies.
The Lambda Calculus Visualizer transforms mathematical expressions into their lambda calculus representations and visualizes them using interactive Tromp diagrams.
This project is a Telegram bot for house management that integrates with the Accelr8 Chore Chart in Airtable for automatic chore posting. Also included is a robust chore trading and marketplace system.
Software for scaling hacker house management. From application to residency to alumni status, fully manage the operations of multiple hacker house locations.
WatchDawg is an AI assistant which lives on your computer - tasked with capturing and providing the story of software development to prevent the three-way divergence between human mental models, AI understanding, and code state.
View branching LLM chat conversations as a dynamic subway map visualization.
A minimal, secure mesh network focusing on packet routing and cryptographic validation. Implements layers 2 & 3 of the OSI model with support for arbitrary layer 4 protocols.
Digital twin type shi
Flask application designed to help write daily blogs documenting daily work, interesting technical problems, and personal reflection. Integrates AI Editing Pipeline
An LLM chat app with extensive knowleddge of aviation regulations, laws, and manuals used to help teach student pilots.
An AI powered system for the efficient selection, filtering, and verification of legal citations. Utilizes an LLM pipeline to automatically classify legal citations to a given client.
An AI assistant built for Decentralized Autonomous Organizations.
In Python write raw SQL statements, which PGTyped Pydantic will watch for and automatically generate Pydantic models from your database schema - also automatically typing your Python code for you.
A chrome extension which provides extra useful information when browsing the United Stated Code of Federal Regulations
A platform democratizing access to global legislative data through standardized APIs and databases, enabling researchers and civic tech organizations to build powerful applications.
A Conversational AI Legal Education Assistant with access to primary source legislation.