All categories
Mac

Anagopos 2.0.1

Free Visualize reduction graphs of terms in lambda calculus and term rewriting.
0 
Latest version:
2.0.1 See all
Developer:
Collect
Review Download All version

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.

Comments

Suggestions

SeisMac
SeisMac
Free

SeisMac turns your Sudden Motion Sensor-equipped laptop into a three-axis seismograph.

R
R
Free

Language and environment for statistical computing and graphics.

GRAMPS
GRAMPS

Research, organize and share your family genealogy.

LaTeXiT
LaTeXiT
Free

Typeset LaTeX equations on the fly on your Mac.

Grays Anatomy Student Edition
Grays Anatomy Student Edition
Free

This program offers you medical information and human body illustrations.

SkySafari
SkySafari
Free

View star maps and interact with telescope data.

Download
Free  
Freeware
Old versions
Anagopos 2.0.1
Today's Highlight Biba
Biba provides a rich visual interface for conference calls.
Quick Tab for Vine
Quick Tab for Vine is a fast way to access Vine on your Mac.

Recent downloads

DSP-Quattro

Edits audio files with the option for CD mastering.

CoverScout 3

CoverScout fills the gray gaps that iTunes leaves behind!

HandBrakeBatch

This program enables you to convert video files to various output profiles.

RipIt

Rips media from DVD and creates disk copies.

MacX DVD Ripper Pro

Rip DVD discs to the desired file format.

Miro Video Converter

This program lets you convert videos to various media formats.

Recent downloads

Latest updates