python3-jupyter-server-terminals

Jupyter server extension providing support for terminals

This package allows Jupyter servers to interface to terminals via Tornado websockets.

python3-csb

Python framework for structural bioinformatics (Python3 version)

Computational Structural Biology Toolbox (CSB) is a Python class library for reading, storing and analyzing biomolecular structures in a variety of formats with rich support for statistical analyses.

python3-pytango

transitional dummy package for python3-tango

TANGO is an object oriented distributed control system using CORBA, mainly developed by the Controls Section of the ALBA Synchrotron. PyTango provides bindings for its client- and server-side C++ APIs. With PyTango, you can write TANGO device servers and TANGO applications (scripts, CLIs, GUIs) that access TANGO device servers in pure Python.

libwww-mechanize-autopager-perl

plugin for WWW::Mechanize for automatic pagination

WWW::Mechanize::AutoPager is a plugin for WWW::Mechanize to do automatic pagination using AutoPagerize user script.
interactive theorem prover

matita

interactive theorem prover

Matita is a graphical interactive theorem prover based on the Calculus of (Co)Inductive Constructions.
Preferences window

sound-juicer

GNOME CD Ripper

A CD ripper for GNOME which aims to have a simple, clean, easy to use interface.