Z3 is a high-performance theorem prover developed
at Microsoft Research.
A plugin for GKrellM, which periodically updates the desktop's
background image.
timediff is a simple command line tool to show time pairs
between target timezone and localtime.
Birthday displays a list of events which are coming up in the near future,
based on a config file (~/.birthdays) in the user's home directory.
Used in a user's .profile or crontab it can save the day for many
a terminally disorganised soul...
The KDE utilities are a compilation of various desktop utilities,
developed in the KDE module kdeutils.
A library that maps mime types to extensions and vice-versa.
Geo::Coder::Google provides a geocoding functionality using Google Maps API.
The Geo::Weather module retrieves the current weather from weather.com
when given city and state or a US zip code. After fetching the weather,
the module can print a general weather report, or return specific values
(ie: URL to a picture of the current weather for use on a website,
current numerical values for wind speed, temperature, dew point, etc).
A collection of Perl modules to deal with various matters specific for Norway.
Pauker is a Java program for flashcard learning based on the Leitner system.