Alternatives and similar repositories for mypy

Users that are interested in mypy are comparing it to the libraries listed below

• gvanrossum / Pyjion
  Pyjion - A JIT for Python based upon CoreCLR
  ☆16Updated 9 years ago
• gvanrossum / mypy-dummy
  Dummy for mypy-lang
  ☆9Updated 7 years ago
• gvanrossum / pytype
  ☆11Updated 8 years ago
• gvanrossum / ballot-box
  Automatically exported from code.google.com/p/ballot-box
  ☆15Updated 10 years ago
• gvanrossum / asyncio
  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
• gvanrossum / pythonlabs
  Reconstructed source code for pythonlabs.com
  ☆23Updated 4 years ago
• gvanrossum / peps
  Python Enhancement Proposals
  ☆7Updated 8 months ago
• gvanrossum / http-get-perf
  ☆8Updated 4 years ago
• gvanrossum / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆6Updated 4 years ago
• gvanrossum / pep550
  Stubs and thoughts about PEP 550
  ☆11Updated 7 years ago
• gvanrossum / pythonlabs-com-azure
  ☆21Updated 4 years ago
• gvanrossum / ctok
  Expose CPython's tokenizer as a Python class
  ☆62Updated 5 years ago
• gvanrossum / gvanrossum.github.io
  BDFL website
  ☆110Updated last year
• gvanrossum / cpython
  The Python programming language
  ☆254Updated 2 months ago
• gvanrossum / guidos_time_machine
  Guido's time machine
  ☆101Updated 5 years ago
• gvanrossum / pyxl3
  A Python 3 extension for writing structured and reusable inline HTML.
  ☆170Updated 5 years ago
• gvanrossum / 500lines
  500 Lines or Less
  ☆318Updated 2 years ago
• Amir-Mohamad / AparatDownloader
  💫 Aparat downloader using python
  ☆13Updated 4 years ago
• pyladies / pyladies-maintainers
  PyLadies resources for open source project maintainers, core developers (including CPython), and aspiring project maintainers and core de…
  ☆31Updated last year
• Tank3-TK3 / Tank3-TK3
  ☆9Updated 3 months ago
• AliRn76 / snake
  Snake Game in python , this snake search for the food itself
  ☆22Updated 2 years ago
• JukkaL / mypy-website
  Source code for the mypy web site
  ☆13Updated 3 weeks ago
• Tank3-TK3 / game-of-life-Python-Tkinter
  "Conway Game" or "Game of Life" made with python and using tkinter
  ☆9Updated 3 months ago
• vjanz / python-asynchronous-tasks
  😎Asynchronous tasks in Python with Celery + RabbitMQ + Redis
  ☆92Updated 3 years ago
• Abdur-rahmaanJ / greenberry
  A one-line statement language with grammar and infinite look-ahead
  ☆52Updated 2 months ago
• lnxpy / pypi-chart-badge
  PyPI download rate badge generator.
  ☆12Updated 6 months ago
• gvanrossum / patma
  Pattern Matching
  ☆1,031Updated 3 years ago
• python / mypy_extensions
  Extensions for mypy
  ☆148Updated 3 months ago
• Nawaz2000 / Earthquake-Live
  A real-time Command Line (CLI) earthquake reporter tool.
  ☆9Updated 4 years ago
• SatinWukerORIG / Web-Iota
  Iota is a web scraper that can find all of the images and links/suburls on a webpage
  ☆59Updated 2 years ago