And looking at the code contributions: https://github.com/revng/revng/graphs/contributors
Isn't it a bit weird that the CEO (aleclearmind) has most commits, even much more than the CTO (pfez)? I often hear the complaints from other CEOs that they don't really find any time anymore to code... Even the CTO usually is more on the managing side and less active in actual coding.
Anyway, if this works, then I guess it's a lot of fun for them.
Edit Ah right, I didn't check the timeline.