gtk-jzintv is a GUI written around the jzintv Intellivision emulator. It includes the latest jzintv emulator and all the required files to play Intellivision games on Ubuntu.
Remember, you are responsible to supply your own roms. Read the readme included with the install for more information.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).