Python type-checker written in Rust
☆33Jan 3, 2025Updated last year
Alternatives and similar repositories for pravda
Users that are interested in pravda are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Try Pyright in your browser☆21Oct 26, 2023Updated 3 years ago
- A proxy for asyncio.AbstractEventLoop for testing purposes☆17Mar 31, 2025Updated last year
- CLI based diff viewer☆25Sep 16, 2021Updated 5 years ago
- Pytest plugin to fail a test if it leaves modified `os.environ` afterwards.☆16Jul 21, 2026Updated 3 months ago
- Telegram bot written in brainfuck and python☆14Aug 27, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A collection of extra types and features for mypy☆35Jan 12, 2026Updated 9 months ago
- A hack to explicitly set up and tear down fixtures.☆18Jul 16, 2022Updated 4 years ago
- Ivory theme for MkDocs☆10Jun 16, 2020Updated 6 years ago
- ☆11Jan 15, 2021Updated 5 years ago
- A plugin for tox that utilizes PDM as the package manager and installer☆26Oct 19, 2026Updated last week
- A sqlalchemy/alembic extension for migrating entities like functions, triggers, views, and materialized views.☆20Aug 13, 2026Updated 2 months ago
- Sans-io implementation of the (E)SMTP protocol☆19Oct 5, 2026Updated 3 weeks ago
- Flower alternative for Taskiq☆13May 8, 2025Updated last year
- Performance metrics, based on Coda Hale's Yammer metrics☆13Jun 23, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A flake8 plugin that checks bad async / asyncio practices☆11Feb 19, 2024Updated 2 years ago
- Web3py HTTPProvider that makes it easy to switch between different Ethereum nodes. To make sure the application will be ok if some of the…☆13Jun 18, 2026Updated 4 months ago
- Backport for type hinting generics in standard collections and union types as X | Y☆20May 14, 2021Updated 5 years ago
- Examples for Heisenbug 2019☆13Apr 18, 2019Updated 7 years ago
- An extension for flake8 that validates functions names, decomposition and conformity with annotations.☆28Mar 13, 2023Updated 3 years ago
- Doing dirty (but extremely useful) things with equals.☆1,013Aug 10, 2026Updated 2 months ago
- A Python framework for building modular and loosely coupled applications☆17Updated this week
- Experimental Python Type Checker and LSP 🔎☆83Dec 12, 2024Updated last year
- A port of the Rust regex library to python for super speed linear matching.☆19Feb 3, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Operator overloading for fast anonymous functions.☆52Oct 14, 2026Updated 2 weeks ago
- ☆12Dec 16, 2021Updated 4 years ago
- A Cofunctor is a structure from category theory dual to Functor☆16Apr 29, 2018Updated 8 years ago
- Just use() code from anywhere - a functional import alternative with advanced features like inline version checks, autoreload, module glo…☆53Jan 28, 2026Updated 9 months ago
- A pytest plugin to skip `@pytest.mark.slow` tests by default.☆37May 27, 2026Updated 5 months ago
- pytest plugin to test mypy static type analysis☆34Jan 26, 2026Updated 9 months ago
- A modular, extensible Discord client☆10Nov 27, 2021Updated 4 years ago
- Demo for my article, do not use☆11Feb 2, 2025Updated last year
- ⚡ faster python requests☆18Nov 10, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Analyzing the tree of imports of running Python code.☆13Feb 17, 2023Updated 3 years ago
- Use Git and coverage data to run only needed tests☆22Jan 18, 2025Updated last year
- ⚡ Blazing fast async/await HTTP client for Python written on Rust using reqwests☆31Apr 16, 2023Updated 3 years ago
- Extend typing package functionalities☆60May 16, 2023Updated 3 years ago
- Mutation testing for type annotation in python projects☆25Updated this week
- Django view for GitHub webhook receivers☆14Jul 24, 2019Updated 7 years ago
- ☆11Dec 6, 2017Updated 8 years ago