coqide
proof assistant for higher-order logic (gtk interface)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
jack-mixer
GTK+ JACK audio mixer application (Python 3)
Jack Audio Mixer provides a GTK+ GUI to mix JACK audio
streams. It maintains the appearance of a hardware audio
mixing desk. It can set levels, balance, mute, etc through
the interface or via MIDI.
libreoffice-style-sifr
office productivity suite -- Sifr symbol style
LibreOffice is a full-featured office productivity suite that provides
a near drop-in replacement for Microsoft(R) Office.
mcomix
GTK+ image viewer for comic books
MComix is an user-friendly, customizable image viewer. It is specifically
designed to handle comic books, but also serves as a generic viewer.
It reads images in ZIP, RAR, 7Zip or tar archives as well as plain image
files. It is written in Python and uses GTK+ through the PyGTK bindings,
and runs on both Linux and Windows.
explosive-c4
Four in a row game
The classic four in a row game.
Two players can play on the same device, or it can be played
against an AI.
deepin-album
album application for Deepin Desktop Environment
Deepin-album is a fashion photo manager for viewing and organizing pictures.
deepin-album supports command line, mouse drag method to import photos.
deepin-album supports single browsing and timeline browsing modes.