A compiler/verifier for Forged Alliance blueprints - View it on GitHub