I catalogued some Visual Lambda Calculi here: https://github.com/prathyvsh/lambda-calculus-visualizations Anybody know of more of these?

De Bruijn Notation is worth cataloguing and publicizing, just because it lets you visualize and think about lambda functions in a different way (by pushing around and pairing up "wagons"). Not to be confused with De Bruijn Indices. https://en.wikipedia.org/wiki/De_Bruijn_notation

That’s the first time I’m coming across it. Let me take a look.

Not sure this counts. It's a visualization of the reduction steps https://redexer.maxhallinan.com/

in a similar vein as the above tool: https://chrisuehlinger.com/LambdaBubblePop/

That Cube Composer is delightful.

@wtaysom Yeah, I thought up about creating a top level building view kind of thing that can be used to visualize the trees of Lambda Calculus. Will allow for a city scape visualization.

Lukas suss's stuff. Might be slightly out of scope: Take a look at Lukas Süss (@sluk_m): https://twitter.com/sluk_m?s=09