Free TrueType fonts for the Telugu language

ttf-telugu-fonts

Free TrueType fonts for the Telugu language

classic dice game of Yahtzee

openyahtzee

classic dice game of Yahtzee

Open Yahtzee is a version of the classic dice game Yahtzee. Also known as Knubbel or Pasch.
Contour plots

ctioga2

polymorphic plotting program

ctioga2 is a plotting program in the spirit of gnuplot. It can be used either directly on command-line or writing command files (or a mix of both). It produces publication-quality PDF files. It is based on the Tioga plotting library.
OSMO Tasks Tab

osmo

personal organizer for GTK+

Osmo is a personal organizer, which includes calendar, task manager and address book modules. It aims to be easy to use and configurable to meet the user's preferences.
tags file generator for OCaml

otags

tags file generator for OCaml

Otags generates "tags" files for emacs and vi/vim to give these editors the ability to directly jump to function and value definitions. Otags is based on Camlp4. It can load all Camlp4 syntax extensions and can therefore parse all sources that Camlp4 can parse (including standard and revised syntax).
resolution-style theorem prover

otter

resolution-style theorem prover