things i've built

invariantguard

a local-first verifier for coding-agent patches in python. analyzes modeled runtime-failure paths, validates counterexamples, checks repository-specific contracts, and emits machine-readable evidence for repair loops.

python · typed ir · z3 · docker · mcp

ariel

a rescue humanoid that learns to change the length of its own limbs mid-stride. a ppo layer on top of a frozen mocapact motion prior, trained on procedurally generated lunar obstacle courses.

python · ppo · mujoco · dm_control · mocapact

calibmi: auditing eeg foundation models

do pretrained eeg foundation models help on motor-imagery bci? compared labram and cbramod against three supervised baselines, with every tuning decision made on training-session data alone.

python · eeg · labram · cbramod

distance & devotion

how far do ncaa women's basketball fans travel, and does it track attendance? maps attendance-weighted travel across teams, conferences, and hbcu status.

python · geopandas · matplotlib · seaborn

desperation, not tactics?

does intentional fouling in nba clutch situations actually help? 12,491 clutch fouls across five seasons, split by foul type, margin, and time left, with effect sizes in cohen's h.

python · pandas · statistics

northstar

a free opportunity-mapping tool for students without a college counselor, built for minorities in stem. a 20-question assessment suggests three pathways and ranks verified stem programs, scholarships, and competitions with transparent scoring.

multiforecast

an open-source premier league monte carlo engine. elo, poisson, skellam, and dixon–coles models with walk-forward validation and probability calibration.

python · streamlit · monte carlo