projects

Theory made real

Every system grounded in first principles. Built from axioms up, not assembled from frameworks down.

top tier the three systems that define the work right now
in progress · 2026

JARVIS

local-first · apple silicon · MLX · mlx-whisper · ollama · MFCC

A local-first voice assistant running entirely on Apple Silicon — on-device ASR via mlx-whisper, a custom wake-word classifier trained from scratch on raw MFCC features, and a stateful reasoning loop on a local LLM through Ollama. No cloud dependencies: every inference happens on my own machine.

The voice loop already works end-to-end. Next up: the wake-word model, then intent and planning, action execution, and computer vision.

Every layer someone else would import, built and understood by hand. That's the point.

live build log → design notes →
in development

CATHEDRAL

haskell · python · neural-symbolic · formal verification

A hybrid neural-symbolic system in Haskell that combines formal verification with neural learning. The verification core treats algorithms as living architectures of logic — representing them, reasoning about them, and explaining them formally — while the neural side learns the patterns proofs alone can't see.

It's the bridge between my two halves: formal methods and machine learning, grounded in independent study of logic and the theory of computation.

github ↗
production · 2025

BRAIN

python · fastapi · redis · postgresql · NLP · agent theory

An agentic microservice automating insurance workflows over WhatsApp — NLP intent understanding, hybrid memory (Redis for working memory, PostgreSQL for long-term persistence), and a rule-based decision engine with ethical constraint filtering C(s,a). Formally specified as ⟨S, A, P, π, R, M⟩.

90% intent accuracy. 95% reduction in lead processing time. Built solo during my internship and deployed to production.

This system generated a formal research paper — theory and implementation developed simultaneously.

github ↗ read the paper ↗
ai & research
complete · 2025

NLP · ethics · static analysis · python

AIE — AI Ethical Analyzer

Modular NLP pipeline for ethical compliance analysis of ML models. Parses model cards and configurations, automates structural and ethical compliance checks across PyTorch, TensorFlow, and scikit-learn. Reduces manual review time by 40%.

github ↗
growing · ongoing

LaTeX · mathematical logic · TOC · linear algebra

Proof Vault

Public record of mathematical work done independently. Proofs written in full LaTeX, definitions stated precisely. Covers logic, theory of computation, linear algebra, set theory, quantum foundations. One entry per week, no exceptions.

github ↗
mobile & fullstack
hackathon · 2025

swiftUI · fastAPI · AI · postgresql · redis

Horizons

AI-driven vocational guidance iOS app. SwiftUI frontend, FastAPI backend, BRAIN microservice for conversational AI, gamified career exploration with persistent user profiles. Built end-to-end solo in under 24 hours at HackPue.

github ↗
in progress

swift · swiftUI · MVVM · iOS 17

Vibely

Emotional media iOS app with Gen Z-inspired design. Mood boards, song of the week, vibe tracking, manifest board. Designed as a private, expressive alternative to social media, built on modern iOS 17 design principles and MVVM architecture.

github ↗
complete

swift · swiftUI · mobile · educational

SuperFruits

Educational iOS app teaching children healthy eating through interactive gameplay. Comic book storytelling, Flappy Bird-style minigames, drag-and-drop food mechanics, and a nutrition encyclopedia.

github ↗
in progress

fastAPI · pydantic · openAPI · pytest

LexiVault

Personal knowledge engine with a robust backend API. FastAPI, Pydantic, OpenAPI documentation, comprehensive Pytest coverage — a foundation for productivity tools and structured knowledge management.

github ↗
academic & dsa
complete

data science · SQL · python · healthcare

Hospital Farallon — Patient Data System

First professional experience. Developed and maintained a patient record database in SQL, optimizing queries across 2,000+ entries. Automated data analysis pipelines in Python with NumPy and Pandas for cohort analytics, improving reporting accuracy by 82%.

academic

C++ · OOP · design patterns · polymorphism

Streaming Service App

Streaming service implementation demonstrating strong OOP principles. Design patterns, polymorphism, and inheritance modeling a real-world content platform.

academic

C++ · algorithms · DSA · quicksort

Log Sorting Tool

Tool to process and sort log files using linked list manipulation and QuickSort — foundational algorithms implemented in C++ against real-world data.

instruments
Theory
Mathematical Logic Theory of Computation Algorithms Agent Theory Deontic Logic Discrete Math
Languages
Python Haskell C++ Swift SQL JavaScript Elixir
ML & Engineering
MLX MFCC / signal features Whisper Ollama NLP RAG FastAPI PostgreSQL Redis Docker SwiftUI Git
Mathematics
Linear Algebra Set Theory Proof Writing LaTeX Quantum Computing