Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add more projects to mypy_primer #42

Open
hauntsaninja opened this issue Jul 21, 2022 · 16 comments
Open

add more projects to mypy_primer #42

hauntsaninja opened this issue Jul 21, 2022 · 16 comments
Labels
good first issue Good for newcomers

Comments

@hauntsaninja
Copy link
Owner

hauntsaninja commented Jul 21, 2022 •
edited
Loading

https://github.com/pybind/pybind11
https://github.com/ronf/asyncssh
https://github.com/cytopia/pwncat
https://github.com/NervanaSystems/ngraph
https://github.com/openvinotoolkit/openvino/blob/master/src/bindings/python/setup.cfg
https://github.com/nv-legate/cunumeric
https://github.com/geofront-auth/geofront
https://github.com/whonore/Coqtail
https://github.com/relastle/glacier
https://github.com/qutebrowser/qutebrowser
https://github.com/pola-rs/polars
https://github.com/lark-parser/lark
https://github.com/tomerfiliba/plumbum
https://github.com/PyCQA/astroid
https://github.com/PyCQA/flake8-pyi
https://github.com/scikit-build/scikit-build
https://github.com/pypa/build
https://github.com/pypa/readme_renderer
https://github.com/xaviml/controllerx
https://github.com/bimmerconnected/bimmer_connected
https://github.com/scikit-hep/particle
https://github.com/scikit-hep/vector
https://github.com/mgedmin/check-manifest
https://github.com/osohq/oso
https://github.com/lemon24/reader
https://github.com/tareqpi/Nominatim
https://github.com/facebook/PathPicker
https://github.com/hynek/structlog
https://github.com/algorand/pyteal
https://github.com/explosion/spaCy

https://github.com/NixOS/nixops
https://github.com/bkovitz/FARGish
https://github.com/pantsbuild/pants
https://github.com/RobotLocomotion/drake

https://github.com/matrix-org/synapse

https://github.com/rsokl/phantom-tensors
@hauntsaninja hauntsaninja added the good first issue Good for newcomers label Jul 21, 2022
@hauntsaninja
Copy link
Owner Author

hauntsaninja commented Jul 23, 2022 •
edited
Loading

https://github.com/mongodb/mongo-python-driver reported a couple typeshed regressions

@hauntsaninja
Copy link
Owner Author

hauntsaninja commented Jul 23, 2022 •
edited
Loading

https://github.com/artigraph/artigraph could have caught a mypy regression

https://github.com/MaterializeInc/materialize

@hauntsaninja
Copy link
Owner Author

hauntsaninja commented Aug 21, 2022 •
edited
Loading

https://github.com/enthought/comtypes

@hauntsaninja
Copy link
Owner Author

https://github.com/trezor/trezor-firmware once next mypy release is out

@AlexWaygood
Copy link
Contributor

AlexWaygood commented Aug 27, 2022 •
edited by hauntsaninja
Loading

Sounds like https://github.com/caronc/apprise might have caught python/mypy#13536

@AlexWaygood AlexWaygood mentioned this issue Sep 20, 2022
Open
@hauntsaninja
Copy link
Owner Author

Maybe some of the projects that are now referring to python/mypy#731

@hauntsaninja
Copy link
Owner Author

https://github.com/scikit-hep/pyhf would catch python/mypy#13813

@Avasam
Copy link
Contributor

Avasam commented Oct 8, 2022 •
edited
Loading

This isn't a request to add any of 'em, rather just another metric/datapoint to be aware of some of mypy's big users. Using the https://github.com/github-tooling/ghtopdep CLI tool (because Github doesn't allow to sort dependents on the Dependency graph page), I listed the top 100 packages and top 100 repositories (by star count) that have mypy as a dependency on Github:

ghtopdep https://github.com/python/mypy --packages --rows 100
url stars primer
https://github.com/scikit-learn/scikit-learn 52K ✔️
https://github.com/tiangolo/fastapi 50K
https://github.com/ultralytics/yolov5 31K
https://github.com/certbot/certbot 29K
https://github.com/mitmproxy/mitmproxy 29K ✔️
https://github.com/Lightning-AI/lightning 20K
https://github.com/sanic-org/sanic 17K
https://github.com/ArchiveBox/ArchiveBox 14K
https://github.com/onnx/onnx 13K
https://github.com/networkx/networkx 12K
https://github.com/allenai/allennlp 11K
https://github.com/Chia-Network/chia-blockchain 11K
https://github.com/PrefectHQ/prefect 10K ✔️
https://github.com/matrix-org/synapse 10.0K
https://github.com/spotDL/spotify-downloader 9.8K
https://github.com/bloomberg/memray 9.3K
https://github.com/pytest-dev/pytest 9.3K ✔️
https://github.com/openai/DALL-E 8.9K
https://github.com/MagicStack/uvloop 8.9K
https://github.com/tiangolo/typer 8.9K
https://github.com/aws/serverless-application-model 8.8K
https://github.com/apache/tvm 8.6K
https://github.com/airbytehq/airbyte 8.2K
https://github.com/pyro-ppl/pyro 7.6K
https://github.com/tektoncd/pipeline 7.4K
https://github.com/great-expectations/great_expectations 7.3K
https://github.com/optuna/optuna 7.0K ✔️
https://github.com/automl/auto-sklearn 6.5K
https://github.com/cupy/cupy 6.4K
https://github.com/marshmallow-code/marshmallow 6.3K
https://github.com/scikit-learn-contrib/imbalanced-learn 6.1K
https://github.com/aws/aws-sam-cli 6.1K
https://github.com/sqlalchemy/sqlalchemy 6.1K
https://github.com/chainer/chainer 5.7K
https://github.com/pypa/pipx 5.6K
https://github.com/dagster-io/dagster 5.6K
https://github.com/davidhalter/jedi 5.2K
https://github.com/thu-ml/tianshou 5.1K
https://github.com/sphinx-doc/sphinx 4.9K ✔️
https://github.com/twisted/twisted 4.8K ✔️
https://github.com/python-attrs/attrs 4.5K ✔️
https://github.com/jpadilla/pyjwt 4.4K ✔️
https://github.com/facebookresearch/demucs 4.3K
https://github.com/vyperlang/vyper 4.3K
https://github.com/mesonbuild/meson 4.2K
https://github.com/pdfminer/pdfminer.six 3.9K
https://github.com/ethereum/web3.py 3.7K
https://github.com/online-ml/river 3.7K
https://github.com/getsentry/responses 3.7K
https://github.com/feast-dev/feast 3.6K
https://github.com/amundsen-io/amundsen 3.6K
https://github.com/quantumlib/Cirq 3.6K
https://github.com/pytorch/captum 3.5K
https://github.com/facebookresearch/nevergrad 3.4K
https://github.com/Trusted-AI/adversarial-robustness-toolbox 3.3K
https://github.com/feeluown/FeelUOwn 3.2K
https://github.com/trailofbits/manticore 3.1K ✔️
https://github.com/Overv/outrun 3.1K
https://github.com/awslabs/gluonts 3.0K
https://github.com/life4/textdistance 3.0K
https://github.com/ethereum/consensus-specs 2.9K
https://github.com/ehForwarderBot/ehForwarderBot 2.8K
https://github.com/evidentlyai/evidently 2.8K
https://github.com/ml-tooling/opyrator 2.7K
https://github.com/QQuick/Transcrypt 2.6K
https://github.com/samschott/maestral 2.5K
https://github.com/mandiant/flare-floss 2.4K
https://github.com/mandiant/capa 2.4K
https://github.com/crossbario/autobahn-python 2.4K
https://github.com/facebookresearch/hiplot 2.4K
https://github.com/ElementsProject/lightning 2.4K
https://github.com/autorope/donkeycar 2.3K
https://github.com/fastapi-users/fastapi-users 2.2K
https://github.com/abhinavsingh/proxy.py 2.1K
https://github.com/crossbario/crossbar 2.0K
https://github.com/thonny/thonny 2.0K
https://github.com/DerwenAI/pytextrank 1.9K
https://github.com/ethereum/py-evm 1.8K
https://github.com/automl/Auto-PyTorch 1.8K
https://github.com/dalibo/pg_activity 1.8K
https://github.com/joowani/binarytree 1.8K
https://github.com/kserve/kserve 1.7K
https://github.com/graphistry/pygraphistry 1.7K
https://github.com/chezou/tabula-py 1.7K
https://github.com/pycontribs/jira 1.6K
https://github.com/colour-science/colour 1.5K
https://github.com/fepegar/torchio 1.5K
https://github.com/uber/petastorm 1.5K
https://github.com/Nixtla/statsforecast 1.5K
https://github.com/Flexget/Flexget 1.5K
https://github.com/upbit/pixivpy 1.4K
https://github.com/nyu-mll/jiant 1.4K
https://github.com/0xProject/0x-monorepo 1.4K
https://github.com/karlicoss/promnesia 1.4K
https://github.com/nubank/fklearn 1.4K
https://github.com/dosisod/refurb 1.4K
https://github.com/rednaga/APKiD 1.4K
https://github.com/Lightning-AI/lightning-bolts 1.4K
https://github.com/mitmproxy/pdoc 1.3K
https://github.com/microsoft/CDM 1.3K
ghtopdep https://github.com/python/mypy --repositories --rows 100
url stars primer
https://github.com/TheAlgorithms/Python 146K
https://github.com/pallets/flask 61K
https://github.com/pytorch/pytorch 59K
https://github.com/home-assistant/core 55K ✔️
https://github.com/ansible/ansible 55K
https://github.com/Textualize/rich 40K ✔️
https://github.com/commaai/openpilot 36K
https://github.com/pandas-dev/pandas 35K ✔️
https://github.com/apache/spark 34K ✔️
https://github.com/getsentry/sentry 32K
https://github.com/psf/black 30K ✔️
https://github.com/certbot/certbot 29K
https://github.com/explosion/spaCy 24K
https://github.com/emscripten-core/emscripten 23K
https://github.com/ray-project/ray 22K
https://github.com/python-poetry/poetry 22K ✔️
https://github.com/numpy/numpy 22K
https://github.com/servo/servo 22K
https://github.com/streamlit/streamlit 21K ✔️
https://github.com/tornadoweb/tornado 21K ✔️
https://github.com/deezer/spleeter 21K
https://github.com/google/jax 20K ✔️
https://github.com/Lightning-AI/lightning 20K
https://github.com/celery/celery 20K
https://github.com/python-telegram-bot/python-telegram-bot 20K
https://github.com/freqtrade/freqtrade 20K ✔️
https://github.com/SpaceVim/SpaceVim 19K
https://github.com/saleor/saleor 17K
https://github.com/OpenBB-finance/OpenBBTerminal 17K
https://github.com/zulip/zulip 17K ✔️
https://github.com/AtsushiSakai/PythonRobotics 16K
https://github.com/RasaHQ/rasa 15K
https://github.com/JetBrains/intellij-community 14K
https://github.com/pulumi/pulumi 14K
https://github.com/Textualize/textual 14K
https://github.com/onnx/onnx 13K
https://github.com/pallets/click 13K
https://github.com/aio-libs/aiohttp 13K ✔️
https://github.com/psf/requests-html 13K
https://github.com/ankitects/anki 12K
https://github.com/networkx/networkx 12K
https://github.com/ManimCommunity/manim 12K
https://github.com/pydantic/pydantic 11K
https://github.com/allenai/allennlp 11K
https://github.com/ceph/ceph 11K
https://github.com/NixOS/nixpkgs 10K
https://github.com/scipy/scipy 10K ✔️
https://github.com/PrefectHQ/prefect 10K ✔️
https://github.com/tiangolo/full-stack-fastapi-postgresql 10.0K
https://github.com/matrix-org/synapse 10.0K
https://github.com/dbader/schedule 9.9K
https://github.com/spotDL/spotify-downloader 9.8K
https://github.com/PostHog/posthog 9.5K
https://github.com/darknessomi/musicbox 9.5K
https://github.com/encode/httpx 9.5K
https://github.com/bloomberg/memray 9.3K
https://github.com/aws/chalice 9.2K
https://github.com/pyodide/pyodide 9.2K ✔️
https://github.com/coding-horror/basic-computer-games 9.1K
https://github.com/openai/DALL-E 8.9K
https://github.com/pallets/jinja 8.8K ✔️
https://github.com/aristocratos/bpytop 8.8K
https://github.com/aws/serverless-application-model 8.8K
https://github.com/tiangolo/sqlmodel 8.7K
https://github.com/pola-rs/polars 8.4K
https://github.com/OpenMined/PySyft 8.4K
https://github.com/airbytehq/airbyte 8.2K
https://github.com/qutebrowser/qutebrowser 8.2K
https://github.com/streamlink/streamlink 7.9K
https://github.com/modin-project/modin 7.9K
https://github.com/kedro-org/kedro 7.7K
https://github.com/pytube/pytube 7.6K
https://github.com/microsoft/onnxruntime 7.6K
https://github.com/encode/starlette 7.4K ✔️
https://github.com/laramies/theHarvester 7.4K
https://github.com/ActivityWatch/activitywatch 7.3K
https://github.com/great-expectations/great_expectations 7.3K
https://github.com/returntocorp/semgrep 7.2K
https://github.com/yugabyte/yugabyte-db 7.1K
https://github.com/microsoft/playwright-python 6.9K
https://github.com/SirVer/ultisnips 6.9K
https://github.com/microsoft/unilm 6.9K
https://github.com/qemu/qemu 6.8K
https://github.com/doccano/doccano 6.8K
https://github.com/shidenggui/easytrader 6.8K
https://github.com/zephyrproject-rtos/zephyr 6.7K
https://github.com/duckdb/duckdb 6.7K
https://github.com/facebookresearch/hydra 6.4K
https://github.com/robinhood/faust 6.3K
https://github.com/HypothesisWorks/hypothesis 6.2K
https://github.com/pallets/werkzeug 6.2K ✔️
https://github.com/openedx/edx-platform 6.1K
https://github.com/spulec/moto 6.1K
https://github.com/aws/aws-sam-cli 6.1K
https://github.com/apache/doris 6.1K
https://github.com/plasma-umass/scalene 6.0K
https://github.com/guardicore/monkey 5.9K
https://github.com/Shougo/deoplete.nvim 5.8K
https://github.com/dbt-labs/dbt-core 5.8K
https://github.com/encode/uvicorn 5.7K

@hauntsaninja
Copy link
Owner Author

If we want more coverage of sci code, can look at outlinks from python/mypy#13627

@hauntsaninja
Copy link
Owner Author

hauntsaninja commented Nov 10, 2022 •
edited
Loading

https://github.com/mit-ll-responsible-ai/hydra-zen
https://github.com/sqlalchemy/sqlalchemy (even without plugin)

@AlexWaygood
Copy link
Contributor

You can cross off flake8-pyi from the list at the top (added in 893b19f :)

@Avasam Avasam mentioned this issue Dec 5, 2022
Merged
@AlexWaygood
Copy link
Contributor

AlexWaygood commented Dec 28, 2022 •
edited by hauntsaninja
Loading

pwndbg might be a good project to add, since they use types-gdb in CI — I doubt we have any coverage of typeshed's gdb stubs currently: https://github.com/pwndbg/pwndbg/blob/fef5077eef8092cf16828457792f5d402ad792b6/dev-requirements.txt#L10

(they recently contributed a fix to those stubs: python/typeshed#9411)

@keithasaurus
Copy link
Contributor

keithasaurus commented Feb 3, 2023 •
edited by hauntsaninja
Loading

https://github.com/keithasaurus/koda-validate uses a lot of newer parts of the type system and almost all compiler flags:

    Project(
        location="https://github.com/keithasaurus/koda-validate",
        mypy_cmd="{mypy} koda_validate --check-untyped-defs --disallow-any-generics "
                 "--disallow-incomplete-defs --disallow-subclassing-any "
                 "--disallow-untyped-calls --disallow-untyped-decorators "
                 "--disallow-untyped-defs --no-implicit-optional --no-implicit-reexport "
                 "--strict-optional --strict-equality --warn-no-return "
                 "--warn-redundant-casts --warn-return-any --warn-unused-configs "
                 "--warn-unused-ignores --warn-unreachable",
        pip_cmd="{pip} install koda"
    )

This worked for me locally. I'd push a PR, but don't have permissions.

PR: #75

@keithasaurus keithasaurus mentioned this issue Feb 6, 2023
Merged
@eli-schwartz eli-schwartz mentioned this issue Mar 2, 2023
Merged
@hauntsaninja
Copy link
Owner Author

https://github.com/Big-Theta/funktools uses new generic syntax

@dangotbanned dangotbanned mentioned this issue Jul 13, 2024
Merged
@hauntsaninja
Copy link
Owner Author

https://github.com/static-frame/static-frame uncovered a crash in mypy python/mypy#17691

@hauntsaninja
Copy link
Owner Author

https://github.com/viur-framework/viur-toolkit

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@keithasaurus @Avasam @hauntsaninja @AlexWaygood