Truebit Feb 10
's simulation platform is now open source. Check out their Verifier's Dilemma demo!