GitHub repository: yeomenai/dojo
Description: Dojo is a toolchain for building provable games and applications