slicer
software package for visualization and image analysis - main application
apitrace
tools for debugging OpenGL applications and drivers - cli frontends
apitrace is a suite of tools for debugging OpenGL applications and drivers.
It includes a tool to generate a trace of all the OpenGL calls an application
makes and a tool for replaying these traces and inspecting the rendering and
OpenGL state during the program's execution.
coq-highschoolgeometry
coq library for high school geometry proofs/formalisation
Created by Frédérique Guilhot, this library consists of a collection of
"chapters" spanning most of the geometry taught in French high schools.
python-urwid
curses-based UI/widget library for Python 2
Urwid is a console user interface library that includes many features
useful for text console application developers including:
python3-sphinx-rst-builder
Sphinx builder for reST (reStructuredText) files
Sphinx extension to build reST (reStructuredText) files.
python-zope.componentvocabulary
Zope component vocabularies