The CTO mostly works on the backend of the decompiler, revng-c, which we just released: https://github.com/revng/revng-c/commits/develop/ https://github.com/re

The CTO mostly works on the backend of the decompiler, revng-c, which we just released: https://github.com/revng/revng-c/commits/develop/ 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!