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

https://hegel.dev