ymyzk / mypy-playground Python 78 12 The mypy playground. Try mypy with your web browser. python mypy docker playground