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.
CoverScout fills the gray gaps that iTunes leaves behind!
This program enables you to convert video files to various output profiles.
Rips media from DVD and creates disk copies.
This program lets you convert videos to various media formats.
Edits audio files with the option for CD mastering.
Rip DVD discs to the desired file format.
Comments