DocBook Publishing Made Easy
RTTI for Python Source and Binary Files
the project evolved into https://sourceforge.net/projects/dirreset/
A collection of small bash scripts for heavy terminal users
Plan and schedule the shutdown, reboot of your computer.
A modern graphical SSH client
SSHFS-like functionality via bash
Subtle and not-so-subtle shell tweaks
Run sequences of shell commands against local and remote hosts
Execute multiple commands in parallel and display output with ncurses
Post-Transcriptional Exon Shuffling (PTES) Identification Pipeline
Ubuntu-based Linux Gaming OS
A command-line interface to Spotify.
AVH Edition of the git extensions to provide high-level repository ops
Shell programming, Haskell style
init, supervision, and service management suite + boot scripts
A command line tool to configure Gtk.
A command line tool to configure X cursor.
Ban IPs based on #failed login attempts (Systemd version)
Automatic persistent logbooks for Linux shell sessions (bash, tcsh...)
tools for translation