Anagopos swMATH ID: 17745 Software Authors: Bugge Grathwohl, Niels Bjørn; Ketema, Jeroen; Pallesen, Jens Duelund; Simonsen, Jakob Grue Description: Anagopos: a reduction graph visualizer for term rewriting and lambda calculus. We present Anagopos, an open source tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under six different graph drawing algorithms. We provide ample examples of graphs drawn with the tool. Homepage: https://github.com/jeroenk/Anagopos3D Source Code: https://github.com/jeroenk/Anagopos3D Keywords: term rewriting; lambda calculus; reduction graphs; visualization Related Software: TILC; Tulip; Graphviz Cited in: 1 Publication Cited by 4 Authors 1 Bugge Grathwohl, Niels Bjørn 1 Ketema, Jeroen 1 Pallesen, Jens Duelund 1 Simonsen, Jakob Grue Cited in 0 Serials Cited in 1 Field 1 Computer science (68-XX) Citations by Year