pyspecs 2 Dafny transpiler

Research transpilers from a subset of Python to Dafny, intended to work with Ethereum related specs. Project description.

Scala transpiler

Name		Name	Last commit message	Last commit date
Latest commit History 71 Commits
dafny		dafny
lang_tests		lang_tests
nim		nim
py_grammar		py_grammar
pynotole		pynotole
transpiler		transpiler
README.md		README.md
build.sbt		build.sbt