Systems programmer working mostly in Rust — kernels, filesystems, storage tooling,
and GPU rendering and UI. Most of it runs close to the metal, much of it no_std.
- 🔭 Now: hadris, a pure-Rust storage stack — filesystems, block devices, partitions, archives, and disk images across
stdandno_std— 1,000+ commits and counting - 🧩 Around it: a from-scratch POSIX kernel (hadron), a rendering API built directly on wgpu (astrelis), and a declarative desktop UI framework rendered with it (rxui)
- 🌱 Exploring: proving Rust code panic-free from MIR (mir-check), diagrams as code (layup), FPGAs & Verilog, hardware emulation, chess engine programming
- 💬 Ask me about: kernels, filesystems,
no_stdRust, static analysis of Rust, build tooling for bare-metal targets, and debugging tools for embedded firmware
A .layup file in, a self-contained SVG out. Try it in the live playground.
Tooling I build for my university's RoboMaster team.
| Project | What it is |
|---|---|
| rm-simulator | First-person RoboMaster field simulator in Rust and Bevy, built from the RMUC 2026 field CAD |
| tuning-tools | Firmware tuning studio: inspect live variables, plot telemetry, and tune parameters over SWD without halting the target |
| datavis-rs | Real-time embedded data visualization over SWD: live plots, ELF/DWARF symbols, Rhai scripting |
| rm-map-tools | Exports competition field CAD into the simulator's field package |
| herkules | Self-hosted identity platform and monorepo for the team's internal apps, running at herkules.dev |
| Project | What it is |
|---|---|
| lattice | UCI chess engine written in Rust |
| embedded-build-tools · cargo-image-runner | Bare-metal Rust kernel pipelines: bootable disk images, QEMU launching, Kconfig, cargo xtask; the runner is on crates.io |
| prj | Command-line project manager: fuzzy-search, tag, inspect, and sync your dev projects |
- rust-fatfs — FAT filesystem library in Rust; fork I actively work on for hadris
- mujoco-rs — MuJoCo physics simulator bindings for Rust
I'm always open to collaborating on interesting projects or discussing low-level development. Feel free to reach out!
