UDF Media Reader reads disks created by packet-writing programs like DirectCD. Mac OS X 10.0 through 10.4.5 mounts UDF+VAT disks using their ISO 9660 information, but a bug causes it to silently truncate the beginning of files which cross packet gaps. UDF Media Reader is a Cocoa program that analyzes a UDF disk, presents its contents as a directory tree, and allows the user to copy all or part of the disk's contents to the host filesystem. It has been tested with CD-Rs created by DirectCD on Windows 9x. It will probably work with CD-Rs created by InCD, and it might work with Sony Mavica CD-Rs.
UDI, the Uniform Driver Interface, is a well-documented interface between a driver module and the executing OS. It provides source portability across OSes and binary portability within a processor ABI. It also provides modern driver features like instance independence, high scalability, and physical location transparency. The Reference Source provides an initial implementation of UDI for Linux, SCO UnixWare, SCO OpenServer, and other OSes.
UFO: Alien Invasion is a squad-based tactical strategy game in the tradition of the old X-COM PC games, but with a twist. This game combines military realism with hard science-fiction and the weirdness of an alien invasion. The carefully constructed turn-based system gives you pin-point control of your squad while maintaining a sense of pace and danger. The story is set in the year 2084. You control a secret organization charged with defending Earth from a brutal alien enemy.
UFOClock draws an astronomical clock. From it you can read the time of day, phase of the lunar month, ratio of day to night, time until a solstice or equinox, and time until the end or beginning of twilight. The time of day depends on your location on the surface of the Earth, which you can enter on the command line or in a dotfile in your home directory. Location can be given as latitude/longitude or ZIP code. It is called UFO clock because it sort of looks like crop circles. It is based on Sundial by George Williams. It requires GLUT installed to run and the NOVAS library to build.
Style is the ongoing C++ port of IBM's SWT for Java, itself deriving from IBM's VisualAge for SmallTalk, with two major twists. First, it is written in 100% ISO-C++ with no specific compiler dependencies, and second, it comes with a threading model design that guarantee that users won't be stuck with busy cursors forever. It currently targets OS X, Win32, and GTK.
UMIT is a network scanning frontend meant to be very useful for advanced users and easy to use for newbies. A network admin can create scan profiles for faster and easier network scanning, and can compare scan results to see any changes easily. A regular user will also be able to construct powerful scans with UMIT command creator wizards.
UPPAAL TIGA is an extension of UPPAAL, and implements the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The tool provides a user-friendly graphical interface with its corresponding server, and a command line verifier.