|7 days ago||7 days ago|
|MIT License||GNU General Public License v3.0 or later|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Statically typed Python
7 projects | reddit.com/r/Python | 30 Nov 2021
Facebook/Instagram uses Pyre which is a typechecker for Python.
facebook/pyre-check - Performant type-checking for python.
1 project | reddit.com/r/GithubSecurityTools | 16 Oct 2021
OCaml at Bloomberg 'we use OCaml to write DSLs and production services –'
2 projects | news.ycombinator.com | 23 Aug 2021
I'd be curious if the pyre-check compilation is any faster for you either by removing the inlining optimization flag (the `-Oclassic` here https://github.com/facebook/pyre-check/blame/36243764ab81a82...) or whether there's a way to compile pyre-check to bytecode instead of the native compilation step (which unfortunately it looks like there's no easy way to modify pyre-check's build config to do so).2 projects | news.ycombinator.com | 23 Aug 2021
I must be doing something wrong.
Write better Python - with some help!
7 projects | dev.to | 3 Aug 2021
Some other good alternatives for type checking are Pyright (which is seen in VSCode via Microsofts PyLance plugin) and Pyre.
12 Months of Rust, 50k+ changed lines of code, 8 design iterations. The extent of writing an async ASGI web server in Rust for Python for a 10% performance increase.
3 projects | reddit.com/r/rust | 30 Jun 2021
Sorry if this is something that you’re already aware of but there already exists a Python-related project with the same name which may lead to confusion. https://pyre-check.org
Pyre: A performant type-checker for Python 3
1 project | reddit.com/r/patient_hackernews | 10 May 20211 project | reddit.com/r/hackernews | 10 May 20216 projects | news.ycombinator.com | 10 May 2021
Adoption of Mypy for Python type checking: 45% already use it, 40% don't plan to
4 projects | news.ycombinator.com | 21 Mar 2021
Mypy: Using unions in mapping types does not work as expected
1 project | reddit.com/r/learnpython | 10 Jan 2022
If you typed it as Mapping instead of dict then it would be theoretically be type safe but its actually not supported. See mypy issue #1114. Only the value type is covariant for now.
How to Structure a Python AWS Serverless Project
4 projects | dev.to | 6 Jan 2022
There is a closed issue in the mypy repo with a discussion about this problem. The problem can be boiled down to this: mypy only understands Python packages and relationships between them, while our functions folder holds multiple discrete, parallel entry-points into the codebase that don't make sense when interpreted as a package. Contents of the functions directory, in other words, is a bit like a monorepo with multiple distinct projects located in separate directories, and mypy doesn't understand monorepos.
Python Type Hints – How to Handle Optional Imports – Adam Johnson
1 project | news.ycombinator.com | 4 Jan 2022
It looks like mypy considers this to be a bug:
What's the best practice to validate parameter types at runtime in Python, with and without a third-party module?
3 projects | reddit.com/r/learnpython | 26 Dec 2021
Although I urge you to use type annotations and a static type checker (such as mypy and pyright) over runtime type checks.
Comparison of Python TOML parser libraries
19 projects | dev.to | 14 Dec 2021
Do some developers hate python?
1 project | reddit.com/r/Python | 4 Dec 2021
Type hints help, but python's type system itself is still ass.
mypy alternatives - pytype and pyright
3 projects | 30 Oct 2021
How to fix mypy warning for this function
2 projects | reddit.com/r/learnpython | 26 Oct 2021
For your interest, this indeed was unintended behaviour on the part of `mypy`. It has since been fixed, apparently: https://github.com/python/mypy/pull/111532 projects | reddit.com/r/learnpython | 26 Oct 2021
Just created a bug report for this. https://github.com/python/mypy/issues/11390
Setup development environment
4 projects | dev.to | 17 Oct 2021
6. Add Mypy to the virtual environment. Mypy is a static type checker for Python.
What are some alternatives?
pyright - Static type checker for Python
PythonBuddy - 1st Online Python Editor With Live Syntax Checking and Execution
black - The uncompromising Python code formatter
Flake8 - flake8 is a python tool that glues together pycodestyle, pyflakes, mccabe, and third-party plugins to check the style and quality of some python code.
pytype - A static type analyzer for Python code
typing - Python static typing home. Contains the source for typing_extensions and the documentation. Also hosts a user help forum.
typeshed - Collection of library stubs for Python, with static types
pylama - Code audit tool for python.
mypyc - Compile type annotated Python to fast C extensions
bandit - Bandit is a tool designed to find common security issues in Python code.