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.
One of the best Resident Evil games
Premium survival horror
The First Game in the Call of Duty: Black Ops Series
An epic battle royale game
Fighting The Infected Horde
The Immersive 2D Sandbox Platformer Game You Have to Try
Comments