gui
Enable support for a graphical user interface
Name | Category | Description |
---|---|---|
alt-ergo | sci-mathematics | Automatic theorem prover |
ansifilter | app-text | Handles text files containing ANSI terminal escape codes |
atcore | dev-libs | API to manage the serial connection between the computer and 3D Printers |
audiotools | media-sound | Collection of command line audio tools |
avidemux | media-video | Video editor designed for simple cutting, filtering and encoding tasks |
avidemux-plugins | media-libs | Plugins for the video editor media-video/avidemux |
awale | games-board | Free Awale - The game of all Africa |
barrier | x11-misc | Share a mouse and keyboard between computers (fork of Synergy) |
cadabra | sci-mathematics | Field-theory motivated approach to computer algebra |
chirp | media-radio | A free, open-source tool for programming your radio |
cmake | dev-util | Cross platform Make |
coq | sci-mathematics | Proof assistant written in O'Caml |
cpu-x | sys-apps | A Free software that gathers information on CPU, motherboard and more |
deluge | net-p2p | BitTorrent client with a client/server model |
desmume | games-emulation | Nintendo DS emulator |
dolphin | games-emulation | Gamecube and Wii game emulator |
doxygen | app-doc | Documentation system for most programming languages |
duc | sys-apps | A library and suite of tools for inspecting disk usage |
dwarf-fortress | games-roguelike | Single-player fantasy game |
emacs | app-editors | The extensible, customizable, self-documenting real-time display editor |