Little bit of a nit on the title if the author is reading this. Go is called Go, not Golang.
https://hn.algolia.com/?q=lean
I wish there was a convention to call it "Leanlang" or "leanprover" or something.
About only semi-known ones that's not terrible to search is Haskell, and I guess Perl. And "letter with funny symbols after after" like C++/C#/F#
It's not about colliding with words, it's that "Go" is a common word even other languages context
But I'll give you a worse example than Go: R