Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/ymyzk/mypy-playground
The mypy playground. Try mypy with your web browser.
https://github.com/ymyzk/mypy-playground
asyncio bootstrap5 docker gist hacktoberfest mypy playground python react tornado
Last synced: 7 days ago
JSON representation
The mypy playground. Try mypy with your web browser.
- Host: GitHub
- URL: https://github.com/ymyzk/mypy-playground
- Owner: ymyzk
- License: mit
- Created: 2017-05-07T18:12:01.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2025-01-06T20:24:34.000Z (14 days ago)
- Last Synced: 2025-01-07T15:13:39.465Z (14 days ago)
- Topics: asyncio, bootstrap5, docker, gist, hacktoberfest, mypy, playground, python, react, tornado
- Language: Python
- Homepage: https://mypy-play.net
- Size: 2.87 MB
- Stars: 72
- Watchers: 4
- Forks: 9
- Open Issues: 44
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-python-typing - mypy-playground - Online playground for mypy. (Integrations / Mypy plugins)
README
# mypy-playground
[](https://github.com/ymyzk/mypy-playground/blob/master/LICENSE)
**The mypy playground** provides Web UI to run mypy in the sandbox: https://mypy-play.net
[](https://gyazo.com/30cbc6dbd533834208e7ed099ce2f589)
## 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
1. Run `docker compose up -d` to start an app and Docker for running mypy
2. Run `docker compose exec docker docker build --pull -t ymyzk/mypy-playground-sandbox:latest /sandbox/latest` to build a Docker image
3. Open http://localhost:8000
## Components
- [app](app): Application server
- [app/frontend](app/frontend): Frontend
- [sandbox](sandbox): Sandbox environments for running mypy
## Configuration
Please run `python -m mypy_playground --help` to see all configurations.
Configurations are considered in the following order:
1. Command line arguments
2. Environment variables
3. Configuration file (`config.toml`)
4. Default configurations
| 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 |
## Endpoints
- `/`: Entrypoint
- `/api/`: APIs provided by Tornado
- `/private/metrics`: Prometheus metrics (when enabled)
- `/static/`: Static files
## Sponsoring
mypy Playground is looking for sponsors to host mypy-play.net using [GitHub sponsors](https://github.com/sponsors/ymyzk)
Development of mypy Playground is supported by JetBrains software. See https://jb.gg/OpenSourceSupport for more details.