[akshayshah]

These days, he’s also working on Hegel - bringing test case reduction and PBT to more languages.

https://hegel.dev