Trinket is a neat service for embedding runnable Python scripts on web pages https://trinket.io/ (largely targetting the edu community)
miniblog.
Related Posts
Most of the gradual type systems I've seen are targetting existing languages: you want to interact with existing libraries that don't have type annotations.
Are there many greenfield languages with gradual types? It's a useful technique in other cases, such as refactoring.