Ivan Levkivskyi

numpydantic. Type annotations for specifying, validating, and serializing arrays with arbitrary backends in Pydantic (and beyond)

nptyping. 💡 Type hints for Numpy and Pandas

jqwik. Property-Based Testing on the JUnit Platform

ry. ry ~ rust-python

pytest-mypy-plugins. pytest plugin for testing mypy types, stubs, and plugins

mypy-dev. Python

python-typing-update. Update Python typing syntax

ast_serialize. Fast Python parser that generates a serialized AST

mirrors-mypy. Mirror of mypy for pre-commit

maturin. Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages

gcovr. Generate code coverage reports with gcc/gcov

pytest-mypy-testing. pytest plugin to test mypy static type analysis

hatch-mypyc. Hatch build hook plugin for Mypyc

black-pre-commit-mirror. Python

librt. Mypyc runtime library

mypy-issues. Quickly compare outputs of different mypy versions on open issues

hydpy. A framework for the development and application of hydrological models based on Python

mypy. Optional static typing for Python

nlab. Source code for the nLab

mypy-issues. Find how your mypy change affects mypy's open issues.

mypy-vscode. VS Code extension that provides type checking and analysis for Python code using mypy.

vscode-mypy. Linting support for Python using the mypy linter.

dirac. Calculator app for products of Dirac matrices

mastodon. Your self-hosted, globally interconnected microblogging community

jonesforth. Mirror of JONESFORTH

python-typing-machines. Python type hints are Turing complete.

memray. Memray is a memory profiler for Python

radiation-hardened-quine. A robust quine program that works even after any one character is deleted.

stub_uploader. Scripts and actions to auto-upload typeshed stubs to PyPI

cosmopolitan. build-once run-anywhere c library

py3ify. Convert straddled code to nicer looking python 3 code

mypy_primer. Run Python type checkers over millions of lines of code

kglb. KgLb - L4 Load Balancer

python-assembly-poc. Python

returns. Make your functions return something meaningful, typed, and safe!

python-switch. Adds switch blocks to Python #pypackage

mypyls. Mypy language server: runs mypy on Python code to provide type checking, go to definition, and hover.

CrossHair. An analysis tool for Python that blurs the line between testing and type systems.

pegen_experiments. Experiments for the official PEG parser generator for Python

strawberry. A GraphQL library for Python that leverages type annotations 🍓

python-sortedcontainers. Python Sorted Container Types: Sorted List, Sorted Dict, and Sorted Set

awesome-python-typing. Collection of awesome Python types, stubs, plugins, and tools to work with them.

adt. Algebraic data types for Python (experimental, not actively maintained)

pyzy. A fast Python zygote process

fastenum.

pyspark-stubs. Apache (Py)Spark type annotations (stub files).

trio-typing. Type hints for Trio and related projects

mypy-runner. Python

emacs-flycheck-mypy. Emacs Lisp

PythonListsSummaries. A set of pages summarizing discussion on major Python mailing lists.

typing_inspect_lib. Python

djangorestframework-stubs. PEP-484 stubs for django-rest-framework

graphotype-client. Python

publishthing. zzzeek's scripty thing for pushing around website content, comments, gerrit and git repo stuff

sqlalchemy. The Database Toolkit for Python

tensorflow-stubs. Type stubs for the tensorflow library

dnspython. a powerful DNS toolkit for python

gino-stubs. Python

mypy_extensions. Extensions for mypy

django-stubs. PEP-484 stubs for Django

mypy_mypyc-wheels. Automated builds of mypy_mypyc wheels

mypy-zope. Plugin for mypy to support zope.interface

PyQt5-stubs. Stubs for PyQt5

sqlalchemy-stubs. Mypy plugin and stubs for SQLAlchemy

doc484. Generate PEP 484 type annotations from docstrings

numpy-stubs. Experimental typing stubs for NumPy

pem. PEM file parsing in Python.

sqlalchemy-stubs. Type annotations for SQLAlchemy

mypy-playground. The mypy playground. Try mypy with your web browser.

rawgit. Served files from raw.githubusercontent.com, but with the correct content types. No longer actively developed.

pydantic. Data validation using Python type hints

mypy-PyCharm-plugin. A simple plugin that allows running mypy from PyCharm and navigate between errors

PyCon_UA_2018_slides. Slides from PyCon Ukraine 2018

modutil. A library for working with Python modules

mypy-protobuf. open source tools to generate mypy stubs from protobufs

mypy-website. Source code for the mypy web site

MonkeyType. A Python library that generates static type annotations by collecting runtime types

webdnn. The Fastest DNN Running Framework on Web Browser

QRL. Quantum Resistant Ledger

paasta. An open, distributed platform as a service

c2cgeoportal. c2cgeoportal application

pyannotate. Auto-generate PEP-484 annotations

Erasmus. Python

pyls-mypy. Mypy plugin for the Python Language Server

SublimeLinter-mypy. mypy static type checking for python

python-typecheckers. A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)

Axelrod. A research tool for the Iterated Prisoner's Dilemma

mypyc. Compile type annotated Python to fast C extensions

cython. The most widely used Python to C compiler

Persimmon. A visual dataflow programming language for sklearn

Tale. Interactive fiction (text adventure) and Mud framework

pyenv. Simple Python version management

static-typing. Add static type information into Python abstract syntax trees.

core. :house_with_garden: Open source home automation that puts local control and privacy first.

jython3. A sandboxed attempt at v3 (not maintained)

micropython. MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

dataclasses. Python

apistar. The Web API toolkit. 🛠

methoddispatch. python singledispatch implementation for methods

typing_inspect. Runtime inspection utilities for Python typing module

typingplus. An enhanced version of the Python typing library.

pytypes. Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.

zulip. Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

Transcrypt. Python 3.9 to JavaScript compiler - Lean, fast, open!

Uranium. A Python framework for building Desktop applications.

stublint. Linter for typeshed stubs

flake8-pyi. A plugin for Flake8 that provides specializations for type hinting stub files

retype. Re-apply type annotations from .pyi stubs to your codebase.

flake8-mypy. A plugin for flake8 integrating Mypy.

typemap. Typemap - The Annotator (TM)

design-patterns-for-humans. An ultra-simplified explanation to design patterns

mypy-data. mypy typesheds for the Python data stack

asyncio. asyncio historical repository

cpython. The Python programming language

pybotics. The Python Toolbox for Robotics

dcos. DC/OS - The Datacenter Operating System

mitmproxy. An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

sphinx-autodoc-typehints. Type hints support for the Sphinx autodoc extension

the-knights-who-say-ni. CLA enforcement bot for Python organization projects

enforce. Python 3.5+ runtime type checking for integration testing and data validation

mypy-django. PEP-484 type hints bindings for the Django web framework

vim-mypy. Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/)

typed_ast. Modified fork of CPython's ast module that parses `# type:` comments

pseudo-python. a restricted python to javascript / c# / go / ruby compiler

Airtight. a python-like language with hindley-milner-like type system, which is compiled to c

awesome-functional-python. A curated list of awesome things related to functional programming in Python.

pytest-mypy. Mypy static type checker plugin for Pytest

python-uinput. Pythonic API to Linux uinput module

cis. Home of the Community Intercomparison Suite.

pyperformance. Python Performance Benchmark Suite

scikit-bio. scikit-bio: a community-driven Python library for bioinformatics, providing versatile data structures, algorithms and educational resources.

xonsh. 🐚 Python-powered shell. Full-featured, cross-platform and AI-friendly.

sunpy. SunPy - Python for Solar Physics

com2ann. Tool for translation type comments to type annotations in Python

peps. Python Enhancement Proposals

peps. Python Enhancement Proposals

python3statement.github.io. CSS

pytype. A static type analyzer for Python code

fuckitpy. The Python error steamroller.

funcy. A fancy and practical functional tools

medeas. Python

spyder. Official repository for Spyder - The Scientific Python Development Environment

sympy. A computer algebra system written in pure Python

myhdl. The MyHDL development repository

typeshed. Collection of library stubs for Python, with static types

numpy. The fundamental package for scientific computing with Python.

typing. Python static typing home. Hosts the documentation and a user help forum.