Anagopos
Description
Our software library provides a free download of Anagopos 2.0.1 for Mac. This free software for Mac OS X was originally created by Jeroen Ketema. The latest installer occupies 33.1 MB on disk. Anagopos for Mac is included in Education Tools. Our antivirus check shows that this Mac download is safe.
From the developer:
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.
You may want to check out more Mac applications, such as Genealogy Pro, Analytics to Earth or TreeView X, which might be similar to Anagopos.
Comments
Subscribe to commentsPlease add a comment explaining the reasoning behind your vote.