|15 days ago||7 days ago|
|GNU General Public License v3.0 or later||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.
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
What are some alternatives?
mypy - Optional static typing for Python
pyright - Static type checker for Python
pytype - A static type analyzer for Python code
typeshed - Collection of library stubs for Python, with static types
typing - Python static typing home. Contains the source for typing_extensions and the documentation. Also hosts a user help forum.
isort - A Python utility / library to sort imports.
psst - Fast and multi-platform Spotify client with native GUI
mamba - The Fast Cross-Platform Package Manager
librespot - Open Source Spotify client library
ncspot - Cross-platform ncurses Spotify client written in Rust, inspired by ncmpc and the likes.
flake8-isort - flake8 plugin that integrates isort