GitHub repository: JARVIS-AI/monoid
Primary language: Python
Description: Customisable coding font with alternates, ligatures and contextual positioning. Crazy crisp at 12px/9pt. http://larsenwork.com/monoid/