gvanrossum / mypyLinks
Optional static typing for Python 2 and 3 (PEP484)
☆26Updated 5 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
- This project is the asyncio module for Python 3.3. Since Python 3.4, asyncio is part of the standard library.☆20Updated 10 years ago
- ☆11Updated 8 years ago
- Automatically exported from code.google.com/p/ballot-box☆15Updated 10 years ago
- Reconstructed source code for pythonlabs.com☆23Updated 4 years ago
- The Python programming language☆259Updated last week
- ☆21Updated 5 years ago
- Stubs and thoughts about PEP 550☆11Updated 8 years ago
- Expose CPython's tokenizer as a Python class☆62Updated 5 years ago
- BDFL website☆16Updated 2 months ago
- Guido's time machine☆102Updated 5 years ago
- 500 Lines or Less☆319Updated 2 years ago
- A Python 3 extension for writing structured and reusable inline HTML.☆171Updated 5 years ago
- ☆10Updated 5 years ago
- Pattern Matching☆1,040Updated 3 years ago
- Small application to detect evil users who have stopped following you on Github☆80Updated 3 years ago
- Source code for the mypy web site☆15Updated 3 months ago
- Design and discussion for the new C-API for Python☆19Updated 4 months ago
- 😎Asynchronous tasks in Python with Celery + RabbitMQ + Redis☆91Updated 3 years ago
- A one-line statement language with grammar and infinite look-ahead☆54Updated this week
- 💫 Aparat downloader using python☆13Updated 4 years ago
- Configuration for Python planets☆139Updated last month
- A gaming center☆18Updated 3 years ago
- This repo is used to manage the migration from bugs.python.org to GitHub.☆42Updated 3 years ago
- Snake Game in python , this snake search for the food itself☆22Updated 3 years ago
- sorting algorithms in python☆19Updated 6 years ago
- Iota is a web scraper that can find all of the images and links/suburls on a webpage☆59Updated 3 years ago
- Extensions for mypy☆150Updated 7 months ago
- A good and lazy way to add styles in HTML elements☆12Updated 8 years ago
- ever wanted to use single-file components like .vue or .jsx in Django templates?☆14Updated 4 years ago