Designs, infrastructure, and experiments around Race Logic - View it on GitHub