gvanrossum / mypyLinks
Optional static typing for Python 2 and 3 (PEP484)
☆26Updated 4 years ago
Alternatives and similar repositories for mypy
Users that are interested in mypy are comparing it to the libraries listed below
Sorting:
- Pyjion - A JIT for Python based upon CoreCLR☆16Updated 9 years ago
- ☆11Updated 8 years ago
- This project is the asyncio module for Python 3.3. Since Python 3.4, asyncio is part of the standard library.☆20Updated 9 years ago
- A very minimal implementation of the core idea of Hypothesis☆6Updated 4 years ago
- Dummy for mypy-lang☆9Updated 7 years ago
- Reconstructed source code for pythonlabs.com☆23Updated 4 years ago
- Automatically exported from code.google.com/p/ballot-box☆15Updated 10 years ago
- Python Enhancement Proposals☆7Updated 7 months ago
- ☆21Updated 4 years ago
- ☆8Updated 4 years ago
- Stubs and thoughts about PEP 550☆11Updated 7 years ago
- BDFL website☆110Updated last year
- Expose CPython's tokenizer as a Python class☆62Updated 5 years ago
- The Python programming language☆253Updated 2 months ago
- Guido's time machine☆101Updated 5 years ago
- 500 Lines or Less☆318Updated 2 years ago
- ☆9Updated 2 months ago
- A Python 3 extension for writing structured and reusable inline HTML.☆170Updated 5 years ago
- "Conway Game" or "Game of Life" made with python and using tkinter☆9Updated 2 months ago
- Flask Community Work Group website☆18Updated 7 months ago
- Source code for the mypy web site☆13Updated this week
- Design and discussion for the new C-API for Python☆17Updated last year
- List of companies using Flask framework - who is using Flask?☆144Updated 6 years ago
- PyPI download rate badge generator.☆12Updated 5 months ago
- Lucid is a travel app that makes dream vacations a reality☆12Updated 2 years ago
- 😎Asynchronous tasks in Python with Celery + RabbitMQ + Redis☆92Updated 3 years ago
- Linter for typeshed stubs☆10Updated 8 years ago
- CWI's HPND-licensed STDWIN lib from the '90s, optional GUI lib in several 1.x Python versions, now hard to find (searched an FTP indexer …☆12Updated 8 years ago
- A gaming center☆17Updated 3 years ago
- Anime list database for all of the anime and manga lovers☆17Updated 3 years ago