Freeciv is a free clone of the turn based strategy game Civilization. In this game, each player becomes leader of a civilisation, fighting to obtain the ultimate goal: the extinction of all other civilisations.

This package provides an extension for work with classical logic within the Coq proof-assistant using the Mathematical Components library.

The Debian Edu Artwork package set provides a collection of images, themes, wallpapers and splash screens for use with Debian Edu, a Debian Pure Blend.

This plugins aims to simplify the process of refactoring and distributing types. In particular, this plugin provides an extendable DSL similar to the one used by mypy's own tests.

This is a Sphinx extension that builds on sphinx.ext.autodoc to better document classes with Traitlets-based configuration. It provides Sphinx directives `autoconfigurable` (use with classes) and `autotrait` (use with the traitlets based configuration options), yielding documentation that takes account of Traitlets.

TestU01 is a software library, implemented in the ANSI C language, and offering a collection of utilities for the empirical statistical testing of uniform random number generators.