outrageous-interpreter. Automatically exported from code.google.com/p/outrageous-interpreter
pushpop. A POP3 implementation in Rust
markets. markets
LVM. A simple low-level virtual machine, which will eventually compile to EVM.
types-in-types. Coq
