pyspecs 2 Dafny transpiler Research transpilers from a subset of Python to Dafny, intended to work with Ethereum related specs. Project description. Scala transpiler transpiler Python transpiler pynotole