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
- CLI based diff viewer☆24Sep 16, 2021Updated 4 years ago
- ☆11Jan 15, 2021Updated 5 years ago
- A proxy for asyncio.AbstractEventLoop for testing purposes☆18Mar 31, 2025Updated last year
- Sans-io implementation of the (E)SMTP protocol☆18Apr 6, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Turn any snippet of code into a hadouken code gif straight from your browser☆18May 22, 2022Updated 3 years ago
- Just use() code from anywhere - a functional import alternative with advanced features like inline version checks, autoreload, module glo…☆53Jan 28, 2026Updated 3 months ago
- ⚡ Blazing fast async/await HTTP client for Python written on Rust using reqwests☆32Apr 16, 2023Updated 3 years ago
- tutorial on Python's type system (always WIP)☆11Mar 17, 2026Updated last month
- Demo for my article, do not use☆11Feb 2, 2025Updated last year
- ☆11Dec 6, 2017Updated 8 years ago
- Prune crate dependencies in "target" folder☆17Apr 19, 2025Updated last year
- Django view for GitHub webhook receivers☆14Jul 24, 2019Updated 6 years ago
- Backport for type hinting generics in standard collections and union types as X | Y☆20May 14, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Asynchronous wrapper for Yandex Balaboba (Яндекс Балабоба).☆11Jul 29, 2023Updated 2 years ago
- gitbomb for github☆19Dec 28, 2020Updated 5 years ago
- Poetry plugin to make working with Poetry and Pyenv seamless☆14Sep 25, 2024Updated last year
- Python library for loading settings and config data from files and environment variables☆20Nov 11, 2025Updated 5 months ago
- Object oriented unit testing framework☆12Sep 5, 2021Updated 4 years ago
- python script to generate envelopes☆14Jan 4, 2021Updated 5 years ago
- IDE for Lark-Parser☆31Jun 10, 2023Updated 2 years ago
- Обёртка над API сайта fish-text.ru для рыбатекста на русском.☆14Sep 3, 2022Updated 3 years ago
- For developers - a modern (and hopefully fast?) C++ API to read NWN / Aurora engine file formats☆13Jul 15, 2022Updated 3 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.
- Replacing Python's type system.☆21Jul 7, 2025Updated 9 months ago
- Universally Unique Lexicographically Sortable Identifier generate for PostgreSQL☆11Jan 14, 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
- A service for end-to-end (functional) testing of a bot. Programmatically simulate a user’s back-and-forth conversation with a bot, to tes…☆18Apr 20, 2026Updated 2 weeks ago
- Python stubs generated from FreeCAD source code☆22Apr 6, 2026Updated 3 weeks ago
- Documentation to help the development of xoreos☆12Jul 7, 2022Updated 3 years ago
- Sample Faust project to process tweets in real-time☆13Mar 29, 2021Updated 5 years ago
- A simple BDD testing framework for Python☆65Apr 13, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- CQL generation tool for the Datastax Cassandra driver☆15Aug 25, 2015Updated 10 years ago
- Provides easy integration of the HMAC signature for Flask routes☆11Jun 25, 2018Updated 7 years ago
- Push useful metrics for each request without effort!☆16Jun 3, 2019Updated 6 years ago
- Ideas for the decipherment of Easter Island's rongorongo writing☆12Sep 4, 2023Updated 2 years ago
- A simple tool to migrate your Poetry project to rye☆18Feb 12, 2025Updated last year
- Specification of the @OCR-D technical architecture, interface definitions and data exchange format(s)☆17Sep 18, 2025Updated 7 months ago
- Car Plate Reader @ Code for Vilnius☆12Apr 25, 2018Updated 8 years ago