What is the font from this GitHub logo of a programming tool? (grex)

[Doom Ronie]

Hello!
I recently discovered a tool and it has a nice font in its logo. I asked the creator of the tool to tell me its name but he refused without even saying the reasons(https://github.com/pemistahl/grex/issues/29)

Notice the pointy r and the style of the $ sign.

[Ralf Herrmann]

download at MyFonts

The family is called Kautiva. 

[Doom Ronie]

Thank you so much!