This is a staging site. Uploads will not persist. Testing only.
gummi
simple LaTeX editor with live preview
Gummi is a LaTeX editor based on GTK3.
The basic features are:
- Live preview pane for the compiled document,
- BibTeX integration,
- Helpers for tables and matrices,
- Exporting to PDF,
- Error checking,
- Syntax highlighting,
- Spellchecking,
- Document statistics,
- Persistent configuration.
ocrfeeder
Document layout analysis and optical character recognition system
OCRFeeder is a document layout analysis and optical character
recognition system.
dragonplayer
simple video player
A video player with a different philosophy: Simple, uncluttered interface.
idjc
graphical shoutcast/icecast client
Internet DJ Console is an Internet radio application for making a live radio
show or podcast. Features include two main media players with a crossfader,
a jingle player, microphone signal processing (compressor and noise gate),
IRC track announcements with X-Chat, an automatic stream shut-off timer, MP3
or Ogg streaming and recording at various bit rates, aux input for connecting
external JACK aware applications, and audio level meters.
spacefm
Multi-panel tabbed file manager - GTK2 version
SpaceFM is a multi-panel tabbed file and desktop manager for Linux with
built-in VFS, udev or HAL-based device manager, customizable menu system
and bash integration.
nvidia-cuda-toolkit
NVIDIA CUDA development toolkit
The Compute Unified Device Architecture (CUDA) enables NVIDIA
graphics processing units (GPUs) to be used for massively parallel
general purpose computation.