eopsin-lang (pypi): A simple pythonic programming language for Smart Contracts on Cardano
Keywords: python|cardano|smart|contract|blockchain|verification|haskell