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
- FastAPI based application to send messages to user registered devices using cloud messaging service.☆13May 13, 2021Updated 5 years 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.
- 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 2 weeks ago
- Type-level list of kinds for PureScript.☆14Nov 17, 2021Updated 4 years ago
- Just use() code from anywhere - a functional import alternative with advanced features like inline version checks, autoreload, module glo…☆53Jan 28, 2026Updated 5 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 15, 2026Updated 2 weeks ago
- Statically assert that a program written in Rust does not panic☆22Feb 3, 2021Updated 5 years ago
- ☆11Dec 6, 2017Updated 8 years ago
- Django view for GitHub webhook receivers☆14Jul 24, 2019Updated 6 years 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.
- ☆10Mar 29, 2018Updated 8 years ago
- Backend for Python Discord forms☆11Mar 26, 2026Updated 3 months ago
- ☆15Updated this week
- pytest plugin to test mypy static type analysis☆34Jan 26, 2026Updated 5 months 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 7 months ago
- Object oriented unit testing framework☆12Sep 5, 2021Updated 4 years ago
- IDE for Lark-Parser☆31Jun 10, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Обёртка над API сайта fish-text.ru для рыбатекста на русском.☆14Sep 3, 2022Updated 3 years ago
- Backport Python 3.8+ typing utils & add issubtype & more☆12Nov 9, 2022Updated 3 years ago
- For developers - a modern (and hopefully fast?) C++ API to read NWN / Aurora engine file formats☆14Jul 15, 2022Updated 3 years ago
- flake8 plugin to enforce new-style type hints (PEP 585)☆22Feb 28, 2023Updated 3 years ago
- Measure execution time of a block of Rust code☆18Aug 27, 2019Updated 6 years ago
- this safety is an illusion, exile☆25Jun 23, 2021Updated 5 years 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
- A Flask web application to calculate and plot drug concentration over time.☆15Jan 1, 2019Updated 7 years ago
- Universally Unique Lexicographically Sortable Identifier generate for PostgreSQL☆11Jan 14, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Motorola kernel-slsi☆15May 27, 2026Updated last month
- Pyright AST viewer.☆16Feb 5, 2023Updated 3 years ago
- A chrome extension for customizing highlight color.☆13Mar 13, 2022Updated 4 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…☆18Updated this week
- 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