A Galois project:

http://smaccmpilot.org/

http://corp.galois.com/blog/2013/10/2/smaccmpilot-open-sourc...