Skip to content
Avatar
🌝
🌝
Block or Report

Block or report hauntsaninja

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. pyp Public

    Easily run Python at the shell! Magical, but never mysterious.

    Python 1.2k 32

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

    Python 3.1k 1.4k

  3. python/mypy Public

    Optional static typing for Python

    Python 13.6k 2.3k

Contribution activity

August 2022

Created 11 repositories

Created a pull request in pydantic/pydantic that received 9 comments

Use --no-implicit-optional for type checking

Change Summary This makes type checking PEP 484 compliant (as of 2018). mypy will change its defaults soon. See: python/mypy#9091 python/mypy#13401 C…

+84 −71 9 comments
Opened 47 other pull requests in 15 repositories
python/mypy 10 merged 1 open
typeshed-internal/stub_uploader 1 open 6 merged
python/cpython 6 merged
python/typeshed 5 merged
psf/black 2 open 3 merged
pypa/pip 2 open 1 merged
python/docsbuild-scripts 1 merged 1 open
pypa/setuptools 1 open
google/jax 1 merged
sympy/sympy 1 open
mystor/git-revise 1 merged
pytorch/vision 1 merged
spec-first/connexion 1 open
PyCQA/flake8-pyi 1 merged
mypyc/mypy_mypyc-wheels 1 merged
Reviewed 53 pull requests in 8 repositories
python/mypy 25 pull requests
python/typeshed 10 pull requests
python/cpython 3 pull requests
PyCQA/flake8-pyi 2 pull requests
pypa/pip 1 pull request
psf/black 1 pull request
python/typing_extensions 1 pull request
ray-project/ray 1 pull request

Created an issue in python/typeshed that received 6 comments

Preferring explicit Incomplete for unannotated arguments

This came up in #8458 Currently CONTRIBUTING.md states: Included functions and methods must list all arguments, but the arguments can be left unan…

6 comments
Opened 3 other issues in 3 repositories
120 contributions in private repositories Aug 1 – Aug 19

Seeing something unexpected? Take a look at the GitHub profile guide.