I believe it's all just custom vectors. I couldn't really find it anywhere.
And just so that one such font could exist, I tried doing it myself! Here it is, my attempt at it, in the link.
Cheers!