polynomials over Boolean Rings, custom ipython shell

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.
advanced crossword construction tool

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 running on LXDE

prerex

course prerequisite chart editor for LaTeX/TikZ

prerex is an editor for creating esthetically pleasing course prerequisite charts using the TikZ LaTeX package.
Dungeon Crawl, a text-based roguelike game

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.
Utility to create music scores from microphone

scolily

Utility to create music scores from microphone

C/C++ Development Tools for Eclipse (JNI)

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.