Most of my development work can be found on my Github. These are some highlights:
Coconut SVSM (contributor) - https://github.com/coconut-svsm/svsm
A small OS kernel written in Rust which aims provide guest services and device emulation on confidential computing platforms.
PackIt - https://github.com/coconut-svsm/packit
A simple library and CLI utility to pack filesystems into single blobs. It is a rework of the original tooling written by Jörg Rödel.
smalloc - https://github.com/00xc/smalloc
An educational memory allocator suitable for both kernel and userspace applications.
rust-vmm (occasional contributor) - https://github.com/rust-vmm
An open-source project providing virtualization components to build custom Virtual Machine Monitors (VMMs).
You can find a list of my contributions here.