I wrote a lambda calculus interpreter called Sheepda, ha, ha.
It’s written in Go but thanks to GopherJS it can be embedded in websites, such as this one.
This webpage is served from all around the world.