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☆13Mar 2, 2026Updated 3 weeks ago
- Ivory theme for MkDocs☆10Jun 16, 2020Updated 5 years ago
- A proxy for asyncio.AbstractEventLoop for testing purposes☆18Mar 31, 2025Updated 11 months ago
- Sans-io implementation of the (E)SMTP protocol☆18Jan 5, 2026Updated 2 months ago
- Rust implementation of the WTF-8 encoding.☆20Nov 25, 2024Updated last year
- 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 last month
- Telegram bot written in brainfuck and python☆14Aug 27, 2021Updated 4 years ago
- tutorial on Python's type system (always WIP)☆11Mar 17, 2026Updated last week
- 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
- LSP client for any LSP server (provider for auto-complete, lint, hover, etc)☆12Jul 2, 2024Updated last year
- ☆10Mar 29, 2018Updated 7 years ago
- Backend for Python Discord forms☆11Updated this week
- pytest plugin to test mypy static type analysis☆34Jan 26, 2026Updated last month
- Wrapper for Yandex Balaboba (Яндекс Балабоба).☆11Jul 29, 2023Updated 2 years ago
- gitbomb for github☆19Dec 28, 2020Updated 5 years ago
- Object oriented unit testing framework☆12Sep 5, 2021Updated 4 years ago
- Replacing Python's type system.☆20Jul 7, 2025Updated 8 months 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
- Measure execution time of a block of Rust code☆18Aug 27, 2019Updated 6 years ago
- this safety is an illusion, exile☆25Jun 23, 2021Updated 4 years ago
- This is silly☆20Aug 21, 2024Updated last year
- A chrome extension for customizing highlight color.☆12Mar 13, 2022Updated 4 years ago
- Programming blog☆24Sep 11, 2018Updated 7 years ago
- ☆10Aug 7, 2024Updated last year
- Easily serialize dataclasses to and from tensors (PyTorch, NumPy)☆18Apr 10, 2021Updated 4 years ago
- Easily convert between string cases.☆32Mar 7, 2025Updated last year
- 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…☆19Feb 12, 2026Updated last month
- Post Buildbot statuses to Slack.io☆15Sep 4, 2016Updated 9 years ago
- ☆10Sep 6, 2020Updated 5 years ago
- Performance metrics, based on Coda Hale's Yammer metrics☆13Aug 20, 2025Updated 7 months ago
- Discover, run, and aggregate pgTap PostgreSQL tests as part of your pytest suite.☆13Nov 30, 2020Updated 5 years ago
- Lucene-based search engine for your source code☆14Feb 4, 2023Updated 3 years ago
- Docker High Performance, Second Edition, published by Packt☆13Jan 30, 2023Updated 3 years ago
- Push useful metrics for each request without effort!☆16Jun 3, 2019Updated 6 years ago