Fuente, que dicen, diseñada para código fuente aquí.
Muy similar a la Sans, pero más espaciada. Muy clara.

En Linux, basta con copiarla en $HOME/.local/share/fonts.

Hay también instaladores varios para Mac, Linux y windows.