Nerd Fonts is a terrific resource. The project does more than just aggregate, all Nerd Font variants are patched with extra glyphs and icons allowing for much more expressive and informative (and fun) terminal prompts. It's also a great source for text editor fonts. All fonts are offered in multiple formats making it easy to match your workspace across platforms.