I once thought about generating visual representations of circuits created from code.

For instance, if you clicked on an n-bit adder,

you could see how it was recursively generated,

showing that it consists of a 1-bit adder combined with an (n-1)-bit adder.

I think that would be really interesting, but I just haven't had the time to actually do it.