Projects

Explainable Autonomy Kit — robotics planner

FastAPI + NumPy + JavaScript/Canvas toolkit that visualizes route trade-offs across time, risk, energy, uncertainty, and memory for robotic planners.

• Interactive frontend for real-time debugging and interpretability
• Custom visualization layers for each cost dimension
• REST endpoints streaming planner state for live analysis

ConTiNGENT — NVMe generative testing

End-to-end pipeline that translates TLA+ models of NVMe commands into executable, nondeterministic NVMe SSD verification tests.

• Rust tooling parses TLC traces into NVMe command sequences via nvme-cli
• Automates SSD verification runs that used to be manual
• Targets ~60% reduction in verification time by increasing coverage per run

Self-Hosted Server — brodyengland.com

Debian-based self-hosted stack that provides authenticated access to VS Code Server, SSH/web terminals, and VPN services behind Nginx and Docker.

• Containerized services with automated TLS and regular backups
• Multiple applications consolidated under one domain
• Used as a base for projects, coursework, and experimentation

Hydrologic modeling toolkit (CSIL & FEWSION)

Open-source Python package for computational hydrologic modeling using Neo4j, supporting basin-scale flow networks with 1,000+ nodes and optimized commodity-flow solvers.

• Parallel execution cuts runtime of global flow solver by ~53%
• Pipeline assigns facility importance for 10,000+ US facilities

Timely — student scheduling platform

College networking and scheduling tool using Flask and SQLite. Students create profiles by major, attach classes, and manage class-bound events on a color-coded calendar.

• User registration/login with hashed passwords
• Interactive calendar via FullCalendar
• Events associated with specific classes for better visibility

CVE-2018-6574 exploit reproduction

Lab repo reconstructing the Go go get RCE vulnerability (CVE-2018-6574) with a minimal C payload and Go wrapper, plus an explanation of the build-time exploit path.

• Focus on clarity of exploit chain, not obfuscation
• Good on-ramp to secure tooling and supply-chain thinking

CS-312 Mini-projects

Trio of Node/EJS mini-projects covering routing, templating, and small web app patterns.

• MiniProject-1
• MiniProject-2
• MiniProject-3

CS305 exam repo

C-based exam repository from NAU’s CS305, focused on low-level reasoning and applied debugging.

More on GitHub

Additional labs, experiments, and course repos — useful if you want to see more code than fits on a single page.