A reverse engineering suite (decompiler, editor, debugger and more)
HL7 Inspector is a tool for managing HL7 messages
Bit level lambda continuations and nothing else - Queue automata
A low-power ISA design and simulator for a 2010 IEEE competition
A library for monitoring the garbage collection of app objects