Anagopos 2.0.1 for Mac was available to download from the developer's website when we last checked. We cannot confirm if there is a free download of this app available. The program belongs to Education Tools. The actual developer of this free Mac application is Jeroen Ketema. According to the results of the Google Safe Browsing check, the developer's site is safe. Despite this, we recommend checking the downloaded files with any free antivirus software.
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.