Libsmbios is a cross-platform library intended to be used to obtain common information available in a BIOS. Major features include the ability to update the BIOS on Dell systems (in conjunction with the Dell RBU Linux kernel driver), programmatic access to information in SMBIOS tables, and the ability to obtain Dell system-specific information such as the Dell System ID number, service tag, and asset tag. Future plans include APIs for $PIR and mptable mapping. There is a C API for some of the more commonly used functions, and example binaries to show off most of the facilities.
Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by <") that holds at a certain point or points in a program. Invariants are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. It can detect properties in Java, C, C++, Perl, and IOA programs, in spreadsheet files, and in other data sources.
Linux Video Maker is application for generating DVD or (S)VCD structures that are ready to record on CD or DVD. It is a GUI for transcode, mplex, DVDAuthor, and few other programs. It makes the creation of DVDs and VCDs easier, especially for beginners. Linux Video Maker prevents many mistakes, especially in the conversion process, which can take a lot of time.
firmware-tools is an architecture that utilizes native Linux packaging formats (.rpm and .deb) and native Linux change management frameworks (yum, apt, etc) for delivering and installing system firmware. This architecture is OS distribution, hardware vendor, device, and change management system agnostic.