IBAM is an advanced battery monitor for laptops, which uses statistical and adaptive linear methods to provide accurate estimations of minutes of battery left or of the time needed until full recharge. It requires APM, ACPI or PMU.

A secure socks5 proxy, designed to protect your Internet traffic.

KLines is a single-player game where the player removes colored balls from the board by arranging them into lines of five or more. However, every time the player moves a ball, three more balls are added to the board.

key-mon shows on the desktop indicators of current keyboard and mouse status, and updates them live when you press keys or mouse buttons. It is very useful for teaching, live presentation and screencasts to show the user what keys/buttons you are pressing.

Additional BibTeX styles and bibliography data(bases), notably including BibLaTeX.

The core of PolyBoRi is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library a Python interface is provided. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. PolyBoRi features a powerful reference implementation for Groebner basis computation.