vult
Vult is a transcompiler well suited to write high-performance DSP code (by vult-dsp)
pyre-check
Performant type-checking for python. (by facebook)
Our great sponsors
| vult | pyre-check | |
|---|---|---|
| 1 | 12 | |
| 326 | 5,896 | |
| 1.2% | 1.4% | |
| 5.9 | 10.0 | |
| 15 days ago | 7 days ago | |
| OCaml | OCaml | |
| GNU General Public License v3.0 or later | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
vult
Posts with mentions or reviews of vult.
We have used some of these posts to build our list of alternatives
and similar projects.
pyre-check
Posts with mentions or reviews of pyre-check.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-11-30.
-
Statically typed Python
Facebook/Instagram uses Pyre which is a typechecker for Python.
- facebook/pyre-check - Performant type-checking for python.
-
OCaml at Bloomberg 'we use OCaml to write DSLs and production services –'
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).
I must be doing something wrong.
-
Write better Python - with some help!
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.
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
- Adoption of Mypy for Python type checking: 45% already use it, 40% don't plan to
What are some alternatives?
When comparing vult and pyre-check you can also consider the following projects:
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.
flake8
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