This is a staging site. Uploads will not persist. Testing only.
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.
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.
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.
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.
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.
wine-utils
Windows API implementation - utilities