Oberon: named after https://en.wikipedia.org/wiki/Oberon_(moon)
Ada: named after https://en.wikipedia.org/wiki/Ada_Lovelace
Eiffel: named after https://en.wikipedia.org/wiki/Gustave_Eiffel
Sather: named afer https://en.wikipedia.org/wiki/Sather_Tower
Nim: named after https://en.wikipedia.org/wiki/Nimrod
Erlang (Ericsson language): named after https://en.wikipedia.org/wiki/Ericsson
That probably wouldn't fly anymore in today's CS research.
As for Oberon, the moon may have played a role, but according to stories recently told at Niklaus Wirth's memorial service, "A Midsummer Night's Dream" and the mythological character in general https://en.wikipedia.org/wiki/Oberon may have had more to do with it, as Wirth was said to have some flair for the theatrical arts in his private life.
Which contradicts with what he wrote in his "Project Oberon" book: "Although the search for an appropriate name for a project is usually a minor problem and often left to chance and whim of the designers, this may be the place to recount how Oberon entered the picture in our case. It happened that around the time of the beginning of our effort, the space probe Voyager made headlines with a series of spectacular pictures taken of the planet Uranus and of its moons, the largest of which is named Oberon. Since its launch I had considered the Voyager project as a singularly well-planned and successful endeavor, and as a small tribute to it I picked the name of its latest object of investigation." Also the books "Programming in Oberon" (where Wirth was co-author) and "The Oberon System" say the same. If he really did have "some flair" for the arts (besides "the art of simplicity"), he hid it very well.
Wirth's love of the theater (and costume parties) was attested to by his family at the memorial service. It was not something that his students knew about him (maybe grad students did).
And also because it is a derivative of Eiffel — which I think had been named more after the tower than the man, with the purpose of creating an analogy from software engineering to constructional engineering.
> Erlang (Ericsson language): named after https://en.wikipedia.org/wiki/Ericsson
Officially it is after the Danish mathematician Agner Krarup Erlang but we all know that is not the whole story...
Other languages named after mathematicians (in addition to others already mentioned):
Euclid: https://en.wikipedia.org/wiki/Euclid_(programming_language)
Occam: https://en.wikipedia.org/wiki/Occam_(programming_language)
Gödel: https://en.wikipedia.org/wiki/G%C3%B6del_(programming_langua...