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

Load level dialog

extremetuxracer-gimp-dev

plugins for GIMP for easy development of etracer courses

bi-directional scrolling arcade game

overgod

bi-directional scrolling arcade game

Overgod is an arcade game with bi-directional scrolling where you need to destroy all enemies in an area in a given time. The game is a mix of the classic arcade games Asteroids and Thrust with a lot of additional features.
bloody 2D action deathmatch-like game in ascii-art

overkill

bloody 2D action deathmatch-like game in ascii-art