Rowan A small assembly language and virtual machine runtime. Languages: C++ Swirl A model checker for the S1S fragment of logic. Languages: Python Hermes A reminder daemon for Linux, to allow for personal desktop reminders Languages: Rust Lithos A work-in-progress 32-bit kernel for x86 Languages: C, x86