A collection of my projects showcasing experience with AI, web development, and software engineering. Each project represents different skills and technologies.
A Next.js web application that transforms mathematical expressions into their lambda calculus representations and visualizes them using interactive Tromp diagrams, allowing users to step through reduction animations and see abstract computation in action.
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. Developed during a defense tech hackathon
A digital twin platform that uses AI to automatically generate Modelica simulation models from historical machine data, making testing and maintenance of industrial machines more cost-effective.
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.
A FastAPI application for access to open-source-legislation functionality.
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 groundbreaking platform that transforms fragmented legislative data across global jurisdictions into a unified, machine-readable knowledge graph. By standardizing and contextualizing legal information, it enables researchers, civic tech organizations, and AI systems to navigate complex legal landscapes with unprecedented ease and insight.
Ask Abe is an AI-powered legal assistant that democratizes access to law by translating complex legal information into plain language through a conversational interface. What sets it apart is its verifiable citation system, linking every answer to the actual US statutes and regulations, ensuring users can trust and verify the information they receive.