polybori
polynomials over Boolean Rings, custom ipython shell
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.
qxw
advanced crossword construction tool
Qxw is a program to help you create and publish crosswords,
from the simplest blocked grid to sophisticated thematic
puzzles. It can make rectangular-, hexagonal- or
circular-format grids with blocks, bars or both. It
has an automatic grid-filling facility that can handle a
wide range of answer treatments and you can even add your
own answer treatment methods. Grids can be filled using
letters, digits, or a mixture of both; non-Roman and
custom alphabets are also supported. Qxw can produce
output in a range of formats ready for publication.
prerex
course prerequisite chart editor for LaTeX/TikZ
prerex is an editor for creating esthetically pleasing course prerequisite
charts using the TikZ LaTeX package.
crawl
Dungeon Crawl, a text-based roguelike game
Crawl is a fun game in the grand tradition of games like Rogue, Hack, and
Moria. Your objective is to travel deep into a subterranean cave complex and
retrieve the Orb of Zot, which is guarded by many horrible and hideous
creatures.
scolily
Utility to create music scores from microphone
eclipse-cdt-jni
C/C++ Development Tools for Eclipse (JNI)
The eclipse-cdt package contains Eclipse features and plugins that are
useful for C and C++ development.