Looked up the author's dotfiles repo[1], looks like it's Iosevka.

[1]: https://github.com/NerdyPepper/dotfiles/