gvanrossum / mypy
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
- Pyjion - A JIT for Python based upon CoreCLR☆16Updated 8 years ago
- ☆11Updated 7 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
- Dummy for mypy-lang☆9Updated 7 years ago
- Automatically exported from code.google.com/p/ballot-box☆15Updated 9 years ago
- Reconstructed source code for pythonlabs.com☆23Updated 3 years ago
- Stubs and thoughts about PEP 550☆11Updated 7 years ago
- Python Enhancement Proposals☆7Updated last month
- Expose CPython's tokenizer as a Python class☆63Updated 4 years ago
- A very minimal implementation of the core idea of Hypothesis☆6Updated 3 years ago
- BDFL website☆111Updated 7 months ago
- ☆21Updated 4 years ago
- A Python 3 extension for writing structured and reusable inline HTML.☆170Updated 4 years ago
- "Conway Game" or "Game of Life" made with python and using tkinter☆9Updated 3 years ago
- Guido's time machine☆94Updated 4 years ago
- ☆9Updated last year
- PEP 563: Postponed Evaluation of Annotations☆15Updated 7 years ago
- Source code for the mypy web site☆13Updated 3 weeks ago
- The Python programming language☆242Updated 2 months ago
- 🐍📝Personal notes on resources, CPython, etc.☆53Updated 8 years ago
- App for student exercises for the "Web Application Security with Django" tutorial; no affiliation with Twitter, Inc.☆13Updated 11 months ago
- Linter for typeshed stubs☆10Updated 7 years ago
- A Rails-inspired command-line application for managing Django projects.☆18Updated this week
- A bot to help identify missing information for CPython pull requests☆119Updated 2 weeks ago
- ☆31Updated 2 years ago
- PyLadies resources for open source project maintainers, core developers (including CPython), and aspiring project maintainers and core de…☆31Updated last year
- The pythonineducation.org website☆30Updated 2 years ago
- Issue tracker for CPython's workflow☆95Updated 9 months ago
- 🐍🍒⛏🤖 - A bot for backporting and merging CPython pull requests☆111Updated this week
- ☆28Updated 3 years ago