gvanrossum / mypy-dummyLinks
Dummy for mypy-lang
☆10Updated 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
Sorting:
- Stubs and thoughts about PEP 550☆12Updated 7 years ago
- ☆12Updated 8 years ago
- Automatically exported from code.google.com/p/ballot-box☆16Updated 10 years ago
- Reconstructed source code for pythonlabs.com☆24Updated 4 years ago
- ☆9Updated 4 years ago
- Pyjion - A JIT for Python based upon CoreCLR☆17Updated 9 years ago
- Python Enhancement Proposals☆7Updated 5 months ago
- A very minimal implementation of the core idea of Hypothesis☆7Updated 4 years ago
- This project is the asyncio module for Python 3.3. Since Python 3.4, asyncio is part of the standard library.☆21Updated 9 years ago
- Linter for typeshed stubs☆11Updated 8 years ago
- Optional static typing for Python 2 and 3 (PEP484)☆27Updated 4 years ago
- Expose CPython's tokenizer as a Python class☆63Updated 4 years ago
- ☆22Updated 4 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 …☆13Updated 8 years ago
- PEP 563: Postponed Evaluation of Annotations☆16Updated 7 years ago
- PyLadies resources for open source project maintainers, core developers (including CPython), and aspiring project maintainers and core de…☆32Updated last year
- Source code for the mypy web site☆14Updated 4 months ago
- ☆9Updated last month
- BDFL website☆111Updated 11 months ago
- A Python 3 extension for writing structured and reusable inline HTML.☆172Updated 5 years ago
- JavaScript 3D library.☆8Updated 4 years ago
- sorting algorithms in python☆18Updated 5 years ago
- "Conway Game" or "Game of Life" made with python and using tkinter☆9Updated last month
- clover script language.☆26Updated 6 years ago
- سورس کد سمینار ارشد من درباره پخش اطلاعات در شبکههای اجتماعی☆15Updated 7 years ago
- 🐍📝Personal notes on resources, CPython, etc.☆54Updated 8 years ago
- ☆10Updated 5 years ago
- ☆9Updated last year
- A good and lazy way to add styles in HTML elements☆12Updated 7 years ago
- ☆8Updated this week