Anagopos download

Free Visualize reduction graphs of terms in lambda calculus and term rewriting.

2.0.1 (latest)

Oct 31, 2017

anagopos_2.0.1.app.zip

x64 33.1 MB

Today's Highlight

Mall Creeps

An adult visual novel style game. Join Sam, Rex, and Cadet as they explore an abandoned mall looking for ghosts.

Suggestions

Stellarium

Free

Your own planetarium on OS X

1Checker

Free

Free grammar checker for Mac

Go for YouTube

Free

A free program for mac

Leawo Blu-ray Player

Free

A free program for mac, by Leawo Software Co. Ltd.

LadioCast

Free

A free program for mac