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

A simple plugin that allows running mypy from PyCharm and navigate between errors

mypy-PyCharm-plugin The plugin provides a simple terminal to run fast mypy daemon from PyCharm with a single click or hotkey and easily navigate throu

301 Dec 09, 2022

Mypy stubs for the PyQt5 framework

Mypy stubs for the PyQt5 framework This repository holds the stubs of the PyQt5 framework. It uses the stub files that are produced during compilation

62 Nov 22, 2022

The official GitHub mirror of https://gitlab.com/pycqa/flake8

Flake8 Flake8 is a wrapper around these tools: PyFlakes pycodestyle Ned Batchelder's McCabe script Flake8 runs all the tools by launching the single f

2.6k Jan 03, 2023

A static-analysis bot for Github

Imhotep, the peaceful builder. What is it? Imhotep is a tool which will comment on commits coming into your repository and check for syntactic errors

221 Nov 10, 2022

flake8 plugin which checks that typing imports are properly guarded

flake8-typing-imports flake8 plugin which checks that typing imports are properly guarded installation pip install flake8-typing-imports flake8 codes

50 Nov 01, 2022

Pylint plugin to enforce some secure coding standards for Python.

Pylint Secure Coding Standard Plugin pylint plugin that enforces some secure coding standards. Installation pip install pylint-secure-coding-standard

2 Jan 04, 2022

MyPy types for WSGI applications

WSGI Types for Python This is an attempt to bring some type safety to WSGI applications using Python's new typing features (TypedDicts, Protocols). It

2 Aug 18, 2021

Flake8 plugin to validate annotations complexity

flake8-annotations-complexity An extension for flake8 to report on too complex type annotations. Complex type annotations often means bad annotations

41 Dec 28, 2022

flake8 plugin to run black for checking Python coding style

flake8-black Introduction This is an MIT licensed flake8 plugin for validating Python code style with the command line code formatting tool black. It

146 Dec 15, 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

A plugin for Flake8 that provides specializations for type hinting stub files

flake8-pyi A plugin for Flake8 that provides specializations for type hinting stub files, especially interesting for linting typeshed. Functionality A

58 Jan 04, 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

Mypy plugin and stubs for SQLAlchemy

Pythonista Stubs Stubs for the Pythonista iOS API. This allows for better error detection and IDE / editor autocomplete. Installation and Usage pip in

521 Dec 29, 2022

flake8 plugin to catch useless `assert` statements

flake8-useless-assert flake8 plugin to catch useless assert statements Download or install on the PyPI page Violations Code Description Example ULA001

1 Feb 12, 2022

An extension for flake8 that forbids some imports statements in some modules.

flake8-obey-import-goat An extension for flake8 that forbids some imports statements in some modules. Important: this project is developed using DDD,

10 Nov 09, 2022

Pymxs, the 3DsMax bindings of Maxscript to Python doesn't come with any stubs

PyMXS Stubs generator What Pymxs, the 3DsMax bindings of Maxscript to Python doe

19 Dec 27, 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

A static type analyzer for Python code

pytype - 🦆 ✔ Pytype checks and infers types for your Python code - without requiring type annotations. Pytype can: Lint plain Python code, flagging c

4k Dec 31, 2022

Performant type-checking for python.

Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines of code incrementally – providi

6.2k Jan 04, 2023

Silence mypy by adding or removing code comments

mypy-silent Automatically add or remove # type: ignore commends to silence mypy. Inspired by pylint-silent Why? Imagine you want to add type check for

8 Nov 30, 2022