Wagner was never a Nazi – he died six years before Hitler was born. Wagner isn't my thing, but not all fans of his music (even today) are Nazis. Theodor Herzl, the founder of Zionism, was a big Wagner fan–of course, he knew Wagner was a rabid antisemite, but he managed to look past that and appreciate his music in spite of his antisemitism. In 2001, the Israeli conductor Mendi Rodan–a Holocaust survivor–conducted the first public performance of one of Wagner's works in Israel since before the Second World War. If a Holocaust survivor can separate the artistic value of Wagner's music from Wagner's Jew-hatred, can others?
I wouldn't recommend naming something after him–especially in contemporary English-speaking culture which is very focused on the historical associations of names–although it is easy to forget how specific that (relatively recent development) is to a particular cultural sphere, something alien to much of the globe–but I wouldn't assume someone who did so was necessarily motivated by any sympathy for Nazism or antisemitism, especially someone coming from a culture which lacks that focus.
Actually, here's an open source project named Wagner, and obviously in reference to the composer – https://github.com/spite/Wagner – maybe an unfortunate choice of name, but I see no reason to accuse the author of sympathy for Nazism or antisemitism
> It’s like calling the group “88 Division”. Sure, not all of the grunts working for them are dyed-in-the-wool Nazis, but the leadership sure are.
"88" can mean a lot of different things. To Australians of a certain age, it may make them think of Australia's bicentenary celebrations in 1988. Some in the UK may remember "Charter 88", a left-of-centre constitutional reform pressure group founded in that year. In Chinese culture, 88 means good luck–and as someone who lives in a country with a significant Chinese minority, I've seen it used in that sense a lot over the years. I have no idea what (if anything) "88" means in Russia, but I wouldn't assume a hypothetical Russian group with "88" in its name necessarily had anything to do with Nazism. "88" as a neo-Nazi code is part of American culture, in other cultures 88 means completely different things, or nothing at all. Even in US culture, it has meanings unrelated to Nazism (amateur radio, NASCAR)