Looks like iosevka to me. Lovely font EDIT: I wrongly assumed at a glance because of the shape of the $. On closer look the characters are much wider than iose

Looks like iosevka to me. Lovely font EDIT: I wrongly assumed at a glance because of the shape of the $. On closer look the characters are much wider than iosevka. It's jetbrains mono