gvanrossum / mypy-dummy
Dummy for mypy-lang
☆9Updated 7 years ago
Alternatives and similar repositories for mypy-dummy:
Users that are interested in mypy-dummy are comparing it to the libraries listed below
- Stubs and thoughts about PEP 550☆11Updated 7 years ago
- ☆11Updated 7 years ago
- Automatically exported from code.google.com/p/ballot-box☆15Updated 9 years ago
- Python Enhancement Proposals☆7Updated last month
- A very minimal implementation of the core idea of Hypothesis☆6Updated 3 years ago
- Optional static typing for Python 2 and 3 (PEP484)☆26Updated 4 years ago
- Expose CPython's tokenizer as a Python class☆63Updated 4 years ago
- ☆21Updated 4 years ago
- Linter for typeshed stubs☆10Updated 7 years ago
- JavaScript 3D library.☆8Updated 3 years ago
- "Conway Game" or "Game of Life" made with python and using tkinter☆9Updated 3 years ago
- ☆9Updated last year
- Laravel 7 eCommerce web site☆11Updated 3 years ago
- sorting algorithms in python☆18Updated 5 years ago
- A Python 3 extension for writing structured and reusable inline HTML.☆170Updated 4 years ago
- knn,kmeans,regression,tree☆17Updated 5 years ago
- poetry☆8Updated 5 years ago
- Spring Boot & Angular - Manage Employees☆14Updated 4 months ago
- ☆10Updated 5 years ago
- ☆8Updated last year
- clover script language.☆26Updated 6 years ago
- Android client for project-tacking-system backend hosted on Cloud☆19Updated 3 years ago
- 💫 Aparat downloader using python☆12Updated 3 years ago
- A real-time Command Line (CLI) earthquake reporter tool.☆9Updated 4 years ago
- A spring boot web app displaying your birth information☆9Updated 2 years ago
- quick full-stack web app in Covid19 confinement☆12Updated 3 years ago
- JEE Servlet & Jsp, End studies' project☆11Updated 3 years ago
- Este repositório contem um código que pode facilitar sua vida de programador diminuindo códigos no script!☆11Updated 3 years ago
- ☆11Updated 2 years ago
- Personal Website☆17Updated 2 years ago