In the category of dev fonts, I'll throw out JuliaMono: https://cormullion.github.io/pages/2020-07-26-JuliaMono/ (I am not the author)

Besides various stylistic choices (most-but-not-all positive, in my opinion), JuliaMono differs from other dev fonts by having _way_ more unicode coverage. (And from other high unicode coverage fonts by being monospaced.)