If you like this kind of work, there a lot of other awesome platforms worth checking out. Here's are some repositories of other program analysis tools aimed at executable code
https://github.com/REMath/implementations and
https://github.com/REMath/literature_review .
Two projects that really stand out are https://github.com/trailofbits/mcsema and https://bitbucket.org/jkinder/jakstab/ .