Thank you, great site! An apparently less extensive resource is https://www.programmingfonts.org/ https://www.programmingfonts.org/ and https://www.nerdfont

Thank you, great site! An apparently less extensive resource is https://www.programmingfonts.org/ https://www.programmingfonts.org/ and https://www.nerdfonts.com/ https://www.nerdfonts.com/