libghc-tagged-prof

newtype wrappers for phantom types; profiling libraries

It provides newtype wrappers for phantom types to avoid unsafely passing dummy arguments.

wesnoth-1.18-server

multiplayer network server for Wesnoth (branch 1.18)

This package contains the multiplayer network server for Wesnoth. You need it if you want to host multiplayer games on your computer and don't want to use the official servers.

cmark-gfm

CommonMark parsing and rendering program, GitHub flavor

cmark-gfm is the GitHub flavor of the cmark C reference implementation of CommonMark, a rationalized version of Markdown syntax with a spec. This package provides a command-line program (cmark-gfm) for parsing and rendering CommonMark documents.

singular

Computer Algebra System for Polynomial Computations

SINGULAR is a Computer Algebra System (CAS) for polynomial computations with emphasis on the special needs of commutative algebra, algebraic geometry, and singularity theory.

gir1.2-totem-1.0

GObject introspection data for Totem media player

Totem is a simple yet featureful media player for GNOME which can read a large number of file formats.

python-networkx

tool to create, manipulate and study complex networks

NetworkX is a Python-based package for the creation, manipulation, and study of the structure, dynamics, and functions of complex networks.