Martian Mono — free and open-source font (download it on GitHub).

Martian Grotesk — a typeface family with a strong personality designed for web and digital projects. It contains a variable font and 63 styles.