LibZeta (not related to Zeta) is a CISC instruction set simulation library with a very small but powerful instruction set. The emulator is written in C, with a C++ frontend. Porting it to a non-hosted environment is on the horizon.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).