The mypy playground. Try mypy with your web browser.

Last update: Jan 02, 2023

Related tags

Linters & Style Checkers react python docker gist playground bootstrap4 tornado asyncio hacktoberfest mypy neutrino

Overview

mypy-playground

The mypy playground provides Web UI to run mypy in the sandbox: https://mypy-play.net

Features

Web UI and sandbox for running mypy easily and safely
Simple and nice editor with syntax highlighting and error reporting
Share snippets with your friends using GitHub Gist

Development

Run docker-compose up -d to start an app and Docker for running mypy
Run docker-compose exec docker docker build --pull -t ymyzk/mypy-playground-sandbox:latest /sandbox/latest to build a Docker image
Open http://localhost:8080

Components

app: Application server
app/frontend: Frontend
sandbox: Sandbox environments for running mypy

Configuration

Name	Type	Required	Description
`DEBUG`	bool	No	Enable debug mode (default: False)
`PORT`	int	No	Port number (default: 8080)
`SANDBOX`	str	No	Sandbox implementation to use (default: `mypy_playground.sandbox.docker.DockerSandbox`)
`SANDBOX_CONCURRENCY`	int	No	The number of running sandboxes at the same time (default: 3)
`GA_TRACKING_ID`	str	No	A tracking id for Google Analytics. If not specified, Google Analytics is disabled.
`GITHUB_TOKEN`	str	No	A token used to create gists
`ENABLE_PROMETHEUS`	bool	No	Enable Prometheus metrics endpoint (default: False)
`MYPY_VERSIONS`	list	No	List of mypy versions used by a sandbox (default: `mypy latest:latest`)
`DOCKER_IMAGES`	list	No	Docker images used by sandbox (default: `latest:ymyzk/mypy-playground-sandbox:latest`)
`CLOUD_FUNCTIONS_BASE_URL`	str	No	URL of Cloud Functions without function name
`CLOUD_FUNCTIONS_NAMES`	str	No	Map from mypy version ID to name of Cloud Functions
`CLOUD_FUNCTIONS_IDENTITY_TOKEN`	str	No	Identity token for development purpose

Owner

Yusuke Miyazaki

Site Reliability Engineer / Software Engineer

Yusuke Miyazaki

GitHub Repository https://mypy-play.net

Enforce the same configuration across multiple projects

Nitpick Flake8 plugin to enforce the same tool configuration (flake8, isort, mypy, Pylint...) across multiple Python projects. Useful if you maintain

315 Dec 25, 2022

A Python Parser

parso - A Python Parser Parso is a Python parser that supports error recovery and round-trip parsing for different Python versions (in multiple Python

520 Dec 26, 2022

Python classes with types validation at runtime.

typedclasses Python classes with types validation at runtime. (Experimental & Under Development) Installation You can install this library using Pytho

8 Feb 06, 2022

Tool to automatically fix some issues reported by flake8 (forked from autoflake).

autoflake8 Introduction autoflake8 removes unused imports and unused variables from Python code. It makes use of pyflakes to do this. autoflake8 also

27 Sep 08, 2022

Flake8 extension for checking quotes in python

Flake8 Extension to lint for quotes. Major update in 2.0.0 We automatically encourage avoiding escaping quotes as per PEP 8. To disable this, use --no

157 Dec 13, 2022

mypy plugin for loguru

loguru-mypy A fancy plugin to boost up your logging with loguru mypy compatibility logoru-mypy should be compatible with mypy=0.770. Currently there

13 Nov 02, 2022

Flake8 Type Annotation Checking

flake8-annotations flake8-annotations is a plugin for Flake8 that detects the absence of PEP 3107-style function annotations and PEP 484-style type co

118 Jan 05, 2023

A simple program which checks Python source files for errors

Pyflakes A simple program which checks Python source files for errors. Pyflakes analyzes programs and detects various errors. It works by parsing the

1.2k Dec 30, 2022

Utilities for pycharm code formatting (flake8 and black)

Pycharm External Tools Extentions to Pycharm code formatting tools. Currently supported are flake8 and black on a selected code block. Usage Flake8 [P

13 Nov 03, 2022

Run isort, pyupgrade, mypy, pylint, flake8, and more on Jupyter Notebooks

Run isort, pyupgrade, mypy, pylint, flake8, mdformat, black, blacken-docs, and more on Jupyter Notebooks ✅ handles IPython magics robustly ✅ respects

663 Jan 08, 2023

Flake8 plugin to find commented out or dead code

flake8-eradicate flake8 plugin to find commented out (or so called "dead") code. This is quite important for the project in a long run. Based on eradi

277 Dec 27, 2022

❄️ A flake8 plugin to help you write better list/set/dict comprehensions.

flake8-comprehensions A flake8 plugin that helps you write better list/set/dict comprehensions. Requirements Python 3.6 to 3.9 supported. Installation

398 Dec 23, 2022

Type stubs for the lxml package

lxml-stubs About This repository contains external type annotations (see PEP 484) for the lxml package. Installation To use these stubs with mypy, you

25 Dec 26, 2022

Flake8 plugin that checks import order against various Python Style Guides

flake8-import-order A flake8 and Pylama plugin that checks the ordering of your imports. It does not check anything else about the imports. Merely tha

270 Nov 24, 2022

Backport Python 3.8+ typing utils & add issubtype & more

typing-utils Backport Python3.8+ typing utils & issubtype & more Install API issubtype get_origin get_args get_type_hints Install pip install typi

10 Nov 09, 2022

MonkeyType as a pytest plugin.

MonkeyType as a pytest plugin.

36 Nov 24, 2022

open source tools to generate mypy stubs from protobufs

mypy-protobuf: Generate mypy stub files from protobuf specs We just released a new major release mypy-protobuf 2. on 02/02/2021! It includes some back

527 Jan 03, 2023

A framework for detecting, highlighting and correcting grammatical errors on natural language text.

Gramformer Human and machine generated text often suffer from grammatical and/or typographical errors. It can be spelling, punctuation, grammatical or

1.3k Jan 08, 2023

Stubs with type annotations for ordered-set Python library

ordered-set-stubs - stubs with type annotations for ordered-set Python library Archived - now type annotations are the part of the ordered-set library

2 Feb 06, 2020

Tools for improving Python imports

imptools Tools for improving Python imports. Installation pip3 install imptools Overview Detailed docs import_path Import a module from any path on th

7 Aug 07, 2022