|12 months ago||about 3 hours ago|
|GNU General Public License v3.0 only||MIT License|
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.
python-security/pyt - A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
1 project | reddit.com/r/GithubSecurityTools | 16 Mar 2021
Security Audit of 3rd Party Packages
2 projects | reddit.com/r/homeassistant | 28 Dec 2020
https://github.com/python-security/pyt (no longer maintained, but still works).
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!
8 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
What are some alternatives?
typeshed - Collection of library stubs for Python, with static types
pytype - A static type analyzer for Python code
pyright - Static type checker for Python
mypy - Optional static typing for Python
typing - Python static typing home. Contains the source for typing_extensions and the documentation. Also hosts a user help forum.
psst - Fast and multi-platform Spotify client with native GUI
spot - Native Spotify client for the GNOME desktop
algoneer - The Algoneer Python library.
mamba - The Fast Cross-Platform Package Manager
pyre-http - A fast python HTTP server inspired by japronto written in rust.