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 2 years ago
- Compatibility layer for pydantic v1/v2☆13Apr 6, 2026Updated last week
- ☆11Jan 15, 2021Updated 5 years ago
- Ivory theme for MkDocs☆10Jun 16, 2020Updated 5 years ago
- A proxy for asyncio.AbstractEventLoop for testing purposes☆18Mar 31, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Web3py HTTPProvider that makes it easy to switch between different Ethereum nodes. To make sure the application will be ok if some of the…☆12Apr 4, 2026Updated last week
- ☆12Dec 16, 2021Updated 4 years ago
- This is a simple example of using bindgen.☆14Feb 12, 2024Updated 2 years ago
- Just use() code from anywhere - a functional import alternative with advanced features like inline version checks, autoreload, module glo…☆53Jan 28, 2026Updated 2 months ago
- ⚡ Blazing fast async/await HTTP client for Python written on Rust using reqwests☆31Apr 16, 2023Updated 2 years ago
- Telegram bot written in brainfuck and python☆14Aug 27, 2021Updated 4 years ago
- tutorial on Python's type system (always WIP)☆11Mar 17, 2026Updated 3 weeks ago
- Demo for my article, do not use☆11Feb 2, 2025Updated last year
- Statically assert that a program written in Rust does not panic☆23Feb 3, 2021Updated 5 years 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.
- Prune crate dependencies in "target" folder☆17Apr 19, 2025Updated 11 months ago
- Django view for GitHub webhook receivers☆14Jul 24, 2019Updated 6 years ago
- ☆15Apr 1, 2026Updated last week
- pytest plugin to test mypy static type analysis☆34Jan 26, 2026Updated 2 months ago
- gitbomb for github☆19Dec 28, 2020Updated 5 years ago
- python script to generate envelopes☆14Jan 4, 2021Updated 5 years ago
- Обёртка над API сайта fish-text.ru для рыбатекста на русском.☆14Sep 3, 2022Updated 3 years ago
- flake8 plugin to enforce new-style type hints (PEP 585)☆23Feb 28, 2023Updated 3 years ago
- Replacing Python's type system.☆21Jul 7, 2025Updated 9 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Flask web application to calculate and plot drug concentration over time.☆15Jan 1, 2019Updated 7 years ago
- An R package to query SNPedia☆11Apr 15, 2024Updated last year
- A chrome extension for customizing highlight color.☆12Mar 13, 2022Updated 4 years ago
- Easily serialize dataclasses to and from tensors (PyTorch, NumPy)☆18Apr 10, 2021Updated 5 years ago
- A tutorial system for learning the shell/command line. For Windows and macOS/Linux.☆10Feb 7, 2021Updated 5 years ago
- Python stubs generated from FreeCAD source code☆21Apr 6, 2026Updated last week
- Rust library for encoding/decoding Apple Icon Image (.icns) files☆30Feb 6, 2026Updated 2 months ago
- ☆11Sep 6, 2020Updated 5 years ago
- Performance metrics, based on Coda Hale's Yammer metrics☆13Aug 20, 2025Updated 7 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Lucene-based search engine for your source code☆14Feb 4, 2023Updated 3 years ago
- Discover, run, and aggregate pgTap PostgreSQL tests as part of your pytest suite.☆13Nov 30, 2020Updated 5 years ago
- Dockerfile to build Docker images☆12Jun 1, 2016Updated 9 years ago
- Ideas for the decipherment of Easter Island's rongorongo writing☆12Sep 4, 2023Updated 2 years ago
- A library for parsing and validating http requests for Flask web framework using pydantic library☆16Dec 8, 2022Updated 3 years ago
- An implementation for Sugyama's algorithm for displaying a layered graph.☆26Sep 21, 2025Updated 6 months ago
- A small and compact Python 3 library to enable syntactic macros at importing time☆22Nov 11, 2015Updated 10 years ago