Berkeley's Snap! visual programming language goes far beyond the popular ones like Scratch!
https://snap.berkeley.edu/
It's got first-class lists and functions, procedures as data, continuations, APL-like hyperblocks / higher-order functions, converters to traditional languages like Javascript, Python, C etc, metaprogramming, object-oriented programming with inheritance/polymorphism, ability to access hardware and the Internet.