(Serial Ports on) Steroids enables users to execute remote C functions in a Python shell over a serial interface. It is useful for embedded system testing and industrial automation. It generates C code for the target and a Python script for the host automatically from a C header file.
0 A.D. (pronounced "zero ey-dee") is a cross-platform real-time strategy (RTS) game of ancient warfare. It's a historically-based war/economy game that allows players to relive or rewrite the history of ancient civilizations, each depicted at their peak of economic growth and military prowess.
0verkill is a client-server 2D deathmatch-like game in ASCII art. It supports free connecting/disconnecting during the game, and runs well on modem lines. Graphics are in 16-color ASCII art with elaborate hero animations. 0verkill features 4 different weapons, grenades, invisibility, and armor. The package also contains reaperbot clients, a simple graphics editor, and a level editor.
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.