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.
Do you love poker? Do you want to play with real people whenever and wherever...
This application allows you to play Klondike game on your Mac.
An easy-to-play board and card game with 2D graphics.
This application provides you with an impressive collection of card games.
Full Deck Poker Solitaire is a combination of poker and solitaire.
We don't have a description for the Easy-Peasy Tic Tac Toe app yet.
Comments