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.
PhotoConvert 4 Lite can convert and rename your photos in batch.
Generates animated GIF files from video or images.
This app allows you to convert text files to ePub eBooks files.
Reduce the size of PNG and JPG image files on Mac.
It allows you to convert images between formats in batches.
This program enables you to convert CHM files to PDF format.
Comments