AgenticEngineer.ING Featured
activeSolo journey to become an agent-driven engineer through interactive lessons across any domain.
Coding Agents Education Interactive Learning
Projects
A collection of things I've built and contributed to
Featured
AgenticEngineer.ING
activeSolo journey to become an agent-driven engineer through interactive lessons across any domain.
Coding Agents Education Interactive Learning
CodingAgents.Dev
activeLink aggregator and community for people interested in coding agents, built with a coding agent.
Coding Agents Community Web
Erdős Navigator
activeAgent navigator that turns Claude Code into a theorem proving assistant for 1,179 of Erdős's math problems.
Python FastAPI SQLite Claude Code Lean 4 Program Synthesis
Hopper
archivedAI coding assistant built in 2017 - before LLMs. Issue labeling, duplicate detection, commit generation using seq2seq.
Python Deep Learning NMT Seq2Seq NLP
Library of Comedy
activeThe largest collection of standup comedy specials on the internet.
Python YouTube API Web Scraping Database
Nvidia-Autopilot-Keras
archivedEnd-to-end self-driving neural network in Keras.
Keras TensorFlow Computer Vision Autonomous Vehicles
One-Hundred-Layers-Tiramisu
archivedKeras implementation of FC-DenseNet for semantic segmentation.
Keras TensorFlow Deep Learning Computer Vision
Program Synthesis Research
activeResearch site on making computers write code. Tracking formal methods, neural approaches, and LLMs.
Research Program Synthesis LLMs Formal Methods
Study-Reinforcement-Learning
activeCurated collection of papers on RL, RLHF, and LLM alignment.
Research RL RLHF LLM Alignment
All Projects
Featured
CodingAgents.Dev Featured
activeLink aggregator and community for people interested in coding agents, built with a coding agent.
Coding Agents Community Web
Erdős Navigator Featured
activeAgent navigator that turns Claude Code into a theorem proving assistant for 1,179 of Erdős's math problems.
Python FastAPI SQLite Claude Code Lean 4 Program Synthesis
Hopper Featured
archivedAI coding assistant built in 2017 - before LLMs. Issue labeling, duplicate detection, commit generation using seq2seq.
Python Deep Learning NMT Seq2Seq NLP
Library of Comedy Featured
activeThe largest collection of standup comedy specials on the internet.
Python YouTube API Web Scraping Database
Nvidia-Autopilot-Keras Featured
archivedEnd-to-end self-driving neural network in Keras.
Keras TensorFlow Computer Vision Autonomous Vehicles
One-Hundred-Layers-Tiramisu Featured
archivedKeras implementation of FC-DenseNet for semantic segmentation.
Keras TensorFlow Deep Learning Computer Vision
Program Synthesis Research Featured
activeResearch site on making computers write code. Tracking formal methods, neural approaches, and LLMs.
Research Program Synthesis LLMs Formal Methods
Study-Reinforcement-Learning Featured
activeCurated collection of papers on RL, RLHF, and LLM alignment.
Research RL RLHF LLM Alignment
All Projects
Mora Search Engine
archivedConverting AI research papers into runnable code. Program synthesis and research reproducibility.
Python NLP Program Synthesis Research