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☆13Jun 1, 2026Updated last week
- A proxy for asyncio.AbstractEventLoop for testing purposes☆18Mar 31, 2025Updated last year
- FastAPI based application to send messages to user registered devices using cloud messaging service.☆13May 13, 2021Updated 5 years ago
- Sans-io implementation of the (E)SMTP protocol☆18Apr 6, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Web3py HTTPProvider that makes it easy to switch between different Ethereum nodes. To make sure the application will be ok if some of the…☆12Updated this week
- Just use() code from anywhere - a functional import alternative with advanced features like inline version checks, autoreload, module glo…☆53Jan 28, 2026Updated 4 months ago
- ⚡ Blazing fast async/await HTTP client for Python written on Rust using reqwests☆32Apr 16, 2023Updated 3 years ago
- Telegram bot written in brainfuck and python☆14Aug 27, 2021Updated 4 years ago
- tutorial on Python's type system (always WIP)☆13Jun 5, 2026Updated last week
- Statically assert that a program written in Rust does not panic☆22Feb 3, 2021Updated 5 years ago
- ☆11Dec 6, 2017Updated 8 years ago
- Prune crate dependencies in "target" folder☆17Apr 19, 2025Updated last year
- uTP implementation for Rust + tokio☆14Dec 23, 2019Updated 6 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.
- ☆15Updated this week
- Backport for type hinting generics in standard collections and union types as X | Y☆20May 14, 2021Updated 5 years ago
- pytest plugin to test mypy static type analysis☆34Jan 26, 2026Updated 4 months ago
- Wrapper for Yandex Balaboba (Яндекс Балабоба).☆11Jul 29, 2023Updated 2 years ago
- gitbomb for github☆19Dec 28, 2020Updated 5 years ago
- Python library for loading settings and config data from files and environment variables☆20Nov 11, 2025Updated 7 months ago
- python script to generate envelopes☆14Jan 4, 2021Updated 5 years ago
- Backport Python 3.8+ typing utils & add issubtype & more☆12Nov 9, 2022Updated 3 years ago
- flake8 plugin to enforce new-style type hints (PEP 585)☆22Feb 28, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Replacing Python's type system.☆21Jul 7, 2025Updated 11 months ago
- Mirror of the pgAdmin 4 GIT repo. DO NOT submit pull requests here! Use the pgadmin-hackers@lists.postgresql.org mailing list. Issues sho…☆11Apr 24, 2023Updated 3 years ago
- Universally Unique Lexicographically Sortable Identifier generate for PostgreSQL☆11Jan 14, 2022Updated 4 years ago
- Motorola kernel-slsi☆15May 27, 2026Updated 2 weeks ago
- Pyright AST viewer.☆16Feb 5, 2023Updated 3 years ago
- ☆10Aug 7, 2024Updated last year
- Create images from latex snippets.☆16Dec 17, 2025Updated 5 months 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…☆18May 24, 2026Updated 2 weeks ago
- Python stubs generated from FreeCAD source code☆23Apr 6, 2026Updated 2 months 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.
- Sample Faust project to process tweets in real-time☆13Mar 29, 2021Updated 5 years ago
- Post Buildbot statuses to Slack.io☆15Sep 4, 2016Updated 9 years ago
- ☆11Sep 6, 2020Updated 5 years ago
- Performance metrics, based on Coda Hale's Yammer metrics☆14Aug 20, 2025Updated 9 months ago
- Pure-python structurally concurrent PostgreSQL driver☆21Updated this week
- An efficient and leightweight logging module☆64Jul 26, 2024Updated last year
- Discover, run, and aggregate pgTap PostgreSQL tests as part of your pytest suite.☆13Nov 30, 2020Updated 5 years ago