program launcher with tabs for X

tabble

program launcher with tabs for X

tabble is a small alternative X shell which presents your programs in tabs for easy launch. It is not meant to replace a window manager, just complement it. Light window managers benefit the most from tabble. The idea is that tabble is 'always on top' so multiple launches can be made without re-navigating a menu hierarchy or clearing the desktop.
Decode 433.9 Mhz data

rtl-433

Decode 433.9 Mhz data

This is a program to decode traffic from devices that are broadcasting on 433.9 MHz like temperature sensors.
parallel, lossless data compressor based on the LZMA algorithm

plzip

parallel, lossless data compressor based on the LZMA algorithm

Lzip is a lossless data compressor based on the LZMA algorithm, with very safe integrity checking and a user interface similar to the one of gzip or bzip2. Lzip decompresses almost as fast as gzip and compresses better than bzip2, which makes it well suited for software distribution and data archiving.
 Integrating AdLint into Vim the editor

adlint

open source and free source code static analyzer

AdLint is a source code static analyzer. It can point out insecure or nonportable code fragments, and can measure various quality metrics of the source code. It (currently) can analyze source code compliant with ANSI C89 / ISO C90 and partly ISO C99.
Software verification tool for C and Java

why

Software verification tool for C and Java

Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
Windows API implementation - utilities

wine-utils

Windows API implementation - utilities