Virtualization software for x86_64 hardware
Zpaq compatible archiver for Win, Linux, Free/OpenBSD, Solaris & MacOS
Digital circuit simulator
SMF service wrapper for VirtualBox under Solaris 10+ and OpenSolaris.
Java Decision Diagrams (BDD) libraries: JDD and JBDD