SmartPy and SmartPy.io are an Intuitive and Effective Smart Contract Language and Platform for Tezos.

An introduction is available in this medium post.

SmartPy is a Python library that interacts, in-browser, with an OCaml library called SmartML.
The demonstration version is not public yet. We hope to be able to release it publicly in the summer 2019.