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.