gulcii (hackage): GULCII is an untyped lambda calculus interpreter supporting interactive modification of a running program with graphical display of graph reduction.  See README.md for the user manual.
Keywords: compilers-interpreters|gpl|program