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