containers =^ translators? Sounds very much like what the HURD already does. http://www.hurd.gnu.org/
A bare-metal hypervisor.
A small but powerful IRC library.