Tool for manipulating GIF images

gifsicle

Tool for manipulating GIF images

This is a tool for manipulating GIF image files. It has good support for transparency and colormap manipulation, simple image transformations (cropping, flipping), and creating, deconstructing, and editing GIF animations, which it can also optimize for space.
Gummi 0.8.0 main window

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.
Magic tool plugins for Tux Paint

tuxpaint-plugins-default

Magic tool plugins for Tux Paint

Tux Paint is meant to be a simple drawing program for young children. It is not meant as a general-purpose drawing tool. It IS meant to be fun and easy to use. Sound effects and a cartoon character help let the user know what's going on, and keeps them entertained.
Home screen of Unity (Ubuntu Netook)

ubuntu-netbook-unity-default-settings

transitional package for people using Unity lucid ppa

Interactive, introductory programming language

gvrng

Interactive, introductory programming language

Guido van Robot Next Generation (GvRng) is a project developed by advanced high school students for use by their peers as a learning tool and precursor to the further study of programming with Python. It is a minimalistic programming language providing just enough syntax to help students learn the concepts of sequencing, conditional branching, looping and procedural abstraction.
pagemon -p 686583 -v (mousepad)

pagemon

interactive memory/page monitoring tool

pagemon is a ncurses based interactive memory/page monitoring tool allowing one to browse the memory map of an active running process on Linux.