An icon taskbar for the Gnome Shell. This extension moves the dash into the gnome main panel so that the application launchers and system tray are combined into a single panel, similar to that foun…

A Pandoc filter for emphasizing code in fenced blocks

pg_filedump provides facilities for low-level examination of PostgreSQL tables and indexes