Projects
ProofScript
In DevelopmentA custom programming language designed for verified algorithm development with built-in correctness checking and LaTeX documentation generation
- Designed and implemented a domain-specific language with custom lexer and parser achieving Turing completeness
- Built interpreter using visitor pattern for clean AST traversal and extensible node handling
- Implemented control flow structures (if/else, while, for loops) and array operations with proper scoping
- Solved complex grammar parsing issues through systematic debugging and architecture refactoring
Game Night App
Demo ReadyReact PWA for organizing game nights with drag-and-drop player management and an Imposter game mode
- Developed Progressive Web App using React with custom theme system and mobile-first responsive design
- Implemented drag-and-drop player management using @dnd-kit library with touch-friendly interactions
- Built game state management with React Context for consistent data flow across components
- Created smooth page transitions and animations using Framer Motion for enhanced UX
Claude Branch Tracker
In DevelopmentChrome extension that visualizes conversation branches in Claude.ai, helping users track different conversation paths
- Developed Chrome extension using Manifest V3 with content scripts for deep webpage integration
- Implemented content hashing algorithm for generating unique message IDs and branch detection
- Built sidebar UI with tree visualization showing conversation structure and branch points
- Used Chrome Local Storage API for persistent conversation data across sessions
Tic-Tac-Toe Android Game
ReadyAndroid game featuring single-player mode with Minimax AI opponent and two-player pass-and-play
- Developed Android game using Kotlin with multiple activities and Intent-based navigation
- Implemented Minimax algorithm for unbeatable AI opponent with strategic move evaluation
- Created custom animations using Kotlin coroutines for smooth difficulty toggle transitions
- Built dual game modes (single-player AI, two-player pass-and-play) with conditional UI rendering
Static Site Generator
ReadyPython-based portfolio generator with Jinja2 templating, real-time file monitoring, and automated GitHub Pages deployment. The tool you're using right now to build this portfolio.
- Built Python generator with Jinja2 templating engine supporting template inheritance and dynamic content injection from JSON
- Implemented two-repository architecture separating build tool from deployment site with automated CI/CD pipeline
- Designed recursive directory traversal system for copying static assets with real-time file system monitoring using watchdog library
- Created watch mode with automated regeneration enabling rapid development iteration and immediate preview
CLI-UNO
ReadyFull-featured UNO card game with Flask REST API and multiple AI difficulty levels using game theory algorithms. Implements utility-based decision making and strategic play patterns.
- Designed object-oriented architecture with Card, Deck, and GameState classes following inheritance patterns for extensibility
- Implemented three AI difficulty tiers using game theory concepts: random selection, heuristic strategy, and utility-based decision making
- Developed utility function evaluating card plays based on threat assessment, card value management, and optimal color selection
- Built Flask REST API with JSON serialization enabling seamless transition from CLI to web platform