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.
play music from the commandline

kew

play music from the commandline

kew is a commandline music player. It supports gapless playback, displaying album covers as ASCII art or as a normal image, and 24-bit audio. Saving a current selection of songs as m3u is also supported.
4 from 4

libxfce4ui-utils

Utility files for libxfce4ui

This package contains the Xfce settings plugin and the utility files for libxfce4ui-2-0 which are: - xfce4-about
Main window, conversion in process

soundkonverter

audio converter frontend for KDE

soundKonverter is a frontend to various audio converters.
silan --verbose 001_A_019__2007_04_10_002.wav

silan

commandline tool to detect silence in audio-files

Silan is a standalone application to analyze audio files for silence and print ranges of detected signals.