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

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

Collection of awesome Python types, stubs, plugins, and tools to work with them.

Awesome Python Typing Collection of awesome Python types, stubs, plugins, and tools to work with them. Contents Static type checkers Dynamic type chec

1.2k Jan 04, 2023

It's not just a linter that annoys you!

README for Pylint - https://pylint.pycqa.org/ Professional support for pylint is available as part of the Tidelift Subscription. Tidelift gives softwa

4.4k Jan 04, 2023

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

Static type checker for Python

Static type checker for Python Speed Pyright is a fast type checker meant for large Python source bases. It can run in a “watch” mode and performs fas

9.2k Jan 03, 2023

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

Unbearably fast O(1) runtime type-checking in pure Python.

Look for the bare necessities, the simple bare necessities. Forget about your worries and your strife. — The Jungle Book.

1.4k Jan 01, 2023

An enhanced version of the Python typing library.

typingplus An enhanced version of the Python typing library that always uses the latest version of typing available, regardless of which version of Py

6 Mar 26, 2021

Convert relative imports to absolute

absolufy-imports A tool and pre-commit hook to automatically convert relative imports to absolute. Installation $ pip install absolufy-imports Usage a

130 Dec 30, 2022

Static Typing for Python

Python static typing home. Contains the source for typing_extensions and the documentation. Also hosts a user help forum.

1.3k Jan 06, 2023

Optional static typing for Python 3 and 2 (PEP 484)

Mypy: Optional Static Typing for Python Got a question? Join us on Gitter! We don't have a mailing list; but we are always happy to answer questions o

14.4k Jan 08, 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

Code audit tool for python.

Pylama Code audit tool for Python and JavaScript. Pylama wraps these tools: pycodestyle (formerly pep8) © 2012-2013, Florent Xicluna; pydocstyle (form

967 Jan 07, 2023

A python documentation linter which checks that the docstring description matches the definition.

Darglint A functional docstring linter which checks whether a docstring's description matches the actual function/method implementation. Darglint expe

463 Dec 31, 2022

An open-source, mini imitation of GitHub Copilot for Emacs.

Second Mate An open-source, mini imitation of GitHub Copilot using EleutherAI GPT-Neo-2.7B (via Huggingface Model Hub) for Emacs. This is a much small

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

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

Naming Convention checker for Python

PEP 8 Naming Conventions Check your code against PEP 8 naming conventions. This module provides a plugin for flake8, the Python code checker. (It repl

411 Dec 23, 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

Mylint - My really simple rendition of how a linter works.

mylint My really simple rendition of how a linter works. This original version was written for my AST article. Since then I've added tests and turned

2 Dec 29, 2021