Typographie · Catalogues

Dev Fonts

Sélection de polices de code gratuites pour éditeurs et terminaux.

Visiter devfonts.gafi.dev (nouvelle fenêtre)

Dev Fonts est un répertoire gratuit de polices de code, créé par le développeur Gafi.

Chaque police se prévisualise en direct sur du code, avec un choix de thèmes de coloration, dont « material-palenight » par défaut, et un choix de langage de programmation. On peut chercher par nom, filtrer les polices gratuites ou à ligatures, comparer plusieurs polices côte à côte et appliquer le même extrait de code à tous les aperçus. Un lien mène vers la source de chaque police. La plupart sont gratuites ; Dank Mono, annoncée à 40 £, est signalée comme payante.

Pour un·e graphiste qui conçoit des interfaces, des visuels techniques ou des supports de documentation, c’est une référence pour choisir une police à chasse fixe. L’outil vise d’abord les développeurs, pour les éditeurs de code et les terminaux.

Dans la même rubrique