Anagopos, a tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under 6 different graph drawing algorithms: Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen and Jakob Grue Simonsen.
Get the perfect cup of tea using T-Timer!
NextEvent is a countdown widget for you Mac menu bar.
Designed for anyone who wants to keep track of the time spent working on specific tasks with little effort.
UTC and Local Time is a simple status bar app that shows UTC time.
Nice tiny tool to help you manage alarms and timers with a...
ChronoMate is a full featured Mac OS X desktop timer for FreshBooks.
Comments