pluthon (pypi): Pluto-like programming language for Cardano Smart Contracts in Python
Keywords: python|cardano|smart|contract|blockchain|verification|haskell