I work on a lot of side projects, but not all of them are public or well packaged. Here is a curated list of projects you might find interesting — check out my GitHub for more.
Featured Projects
vfat-rs
A FAT32 filesystem implementation written in Rust. Supports reading and writing files, directories, and long file names.
TLA by Example
Learn TLA+ specifications through interactive examples. Write specs and run the TLC model checker directly in your browser. It has since moved under the official TLA+ org.
tlaplus-formatter
A formatter for TLA+ specifications, based on the Wadler-Lindig pretty-printing algorithm. Try it online.
TLA+ Wiki
A community wiki for TLA+. Started as a GitHub repository, migrated to DokuWiki, and now hosted at docs.tlapl.us as part of the official TLA+ ecosystem.
Yes, we kana
A webapp to help you learn Japanese: hiragana, katakana and more. I've developed this while studying Japanese.
OpenSingleTab
A simple browser extension to keep your tabs under control. Available on Firefox and Chrome webstores. Open source, safe reimplementation of OneTab.
Genereto
A static site generator written in Rust. Simple, fast and powerful. It powers my personal website and a few more. Documentation.
Horust
A supervisor / init system written in Rust and designed to run inside containers. Documentation.
Apache Oozie Workflow Visualizer
A small tool to visualize Apache Oozie workflows, built while working as a consultant. I was working with very large workflows and hadn't access to any UI.
You can find more of my projects on my GitHub page.