$ ls ~/projects --sort=date

< Projects />

Building the future, one commit at a time. Here are some of my open-source projects and research work.

6 total
STATUS:
ALL ACTIVE WIP COMPLETED ARCHIVED
TYPE:
ALL Research (21) Tools (11) Systems (11) AI/ML (11) Blockchain (3)
ACTIVE
Tools

StudyLings

14 interactive self-study projects unified under a shared Python framework — 854 exercises across economics, physics, G…

Python CUDA C++ C++ C +7
EXPLORE()
ACTIVE
Tools

SmartNetToy

Visual neural architecture search: drag-and-drop NN builder with SHAP/Fisher-guided NAS and evolutionary search in ~480…

Python PyTorch Flask SHAP
EXPLORE()
PRIVATE ACTIVE
Tools

Deep-Research-Bundles

Multi-agent RAG research system with 6 agent types, 4 execution modes, hybrid retrieval, and MCP protocol integration.

Python FastAPI CrewAI LangGraph +2
EXPLORE()
PRIVATE ACTIVE
Tools

CodeGraph

Incremental code indexing system supporting multi-modal indexing for intelligent code search

Python tree-sitter CodeBERT ChromaDB +2
EXPLORE()
PRIVATE ACTIVE
Tools

ProofCraft

Systematic study of LLM-assisted Lean 4 theorem proving: 28.3% pass@1 vs SOTA 99.6%, with the honest finding that model…

Python Lean 4 LeanDojo GPT-4 +3
EXPLORE()