This is a staging site. Uploads will not persist. Testing only.
ibam
Advanced battery monitor for laptops
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.
shadowsocks
Fast tunnel proxy that helps you bypass firewalls
A secure socks5 proxy, designed to protect your Internet traffic.
klines
color lines game
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
Utility to show live keyboard and mouse status
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.
texlive-bibtex-extra
TeX Live: BibTeX additional styles
Additional BibTeX styles and bibliography data(bases), notably including
BibLaTeX.
polybori-gui
polynomials over Boolean Rings, GUI
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.