The CTO mostly works on the backend of the decompiler, revng-c, which we just released:

https://github.com/revng/revng-c/commits/develop/

Eventually we'll merge the two repos.

Also, I develop stuff every day. For some reason GitHub is not picking up my user correctly.

> Anyway, if this works, then I guess it's a lot of fun for them.

It is!