python-django-celery

Celery integration for Django

Celery is an open source asynchronous task queue/job queue based on distributed message passing. It is focused on real-time operation, but supports scheduling as well.

gsfonts-x11

transitional dummy package (gsfonts-x11 -> fonts-urw-base35)

This package is a dummy package to enable the gsfonts-x11 to fonts-urw-base35 transition. It can be safely removed.

libgtp6

library implementing the GTP protocol between SGSN and GGSN

OsmoGGSN is a Gateway GPRS Support Node (GGSN). It is used by mobile operators as the interface between the Internet and the rest of the mobile network infrastructure.

python-formalchemy

HTML input form fields from your SQLAlchemy mapped classes

FormAlchemy greatly speeds development with SQLAlchemy mapped classes (models) in a HTML forms environment.
compelling tile-placement puzzle game

primrose

compelling tile-placement puzzle game

Primrose is a puzzle game by Jason Rohrer and a departure from his previous games.

boolector

SMT solver for bit-vectors and arrays

Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays.