🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
☆901Nov 30, 2025Updated 7 months ago
Alternatives and similar repositories for deal
Users that are interested in deal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Design-by-contract in Python3 with informative violation messages and inheritance☆409Jan 29, 2026Updated 5 months ago
- z3-powered solver (theorem prover) for deal☆18Sep 28, 2023Updated 2 years ago
- Make your functions return something meaningful, typed, and safe!☆4,318Jun 26, 2026Updated last week
- An analysis tool for Python that blurs the line between testing and type systems.☆1,297Jun 26, 2026Updated last week
- Pytest plugin to fail a test if it leaves modified `os.environ` afterwards.☆16Jun 19, 2026Updated 2 weeks 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.
- Smart, pythonic, ad-hoc, typed polymorphism for Python☆730Dec 17, 2024Updated last year
- The property-based testing library for Python☆8,753Updated this week
- Combine contracts and automatic testing.☆90Jun 5, 2022Updated 4 years ago
- Unbearably fast near-real-time pure-Python runtime-static type-checker.☆3,451Jun 26, 2026Updated last week
- Phantom types for Python.☆234Jan 1, 2026Updated 6 months ago
- Enforce the same settings on multiple projects☆412Updated this week
- Mutation testing system☆1,335Updated this week
- Lint your Python architecture.☆1,076Jun 23, 2026Updated last week
- Write short and fully-typed lambdas where you need them.☆285Dec 11, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An implementation of contracts for Python.☆350Aug 30, 2019Updated 6 years ago
- Framework for safe and maintainable web-projects.☆75Feb 12, 2020Updated 6 years ago
- NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.☆1,693Jun 25, 2026Updated last week
- Flake8 plugin to find commented out or dead code☆316Mar 14, 2025Updated last year
- Run-time type checker for Python☆1,770Updated this week
- A flake8 plugin checking common style issues or inconsistencies with pytest-based tests.☆240Jun 22, 2026Updated last week
- Pytest plugin to randomly order tests and control random.seed☆713Jun 12, 2026Updated 3 weeks ago
- A Python library that generates static type annotations by collecting runtime types☆5,000Feb 11, 2026Updated 4 months ago
- A corpus of Python programs annotated with contracts☆26Oct 16, 2025Updated 8 months 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.
- An IoC container for Python 3.8+☆423May 29, 2026Updated last month
- The strictest and most opinionated python linter ever!☆2,857Updated this week
- A Python type checker☆381Jan 27, 2026Updated 5 months ago
- Python library to work with algebraic effects☆80Nov 17, 2020Updated 5 years ago
- Reusable constraint types to use with typing.Annotated☆605Feb 10, 2026Updated 4 months ago
- A Python application for tracking, reporting on timing and complexity in Python code☆1,310Jun 13, 2026Updated 3 weeks ago
- Flake8 extension to validate (lack of) logging format strings☆137Apr 12, 2026Updated 2 months ago
- Report redundant comments in python code☆10Jun 8, 2021Updated 5 years ago
- Catch API bugs before your users do☆3,426Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ❄️ A flake8 plugin to help you write better list/set/dict comprehensions.☆468Jun 12, 2026Updated 3 weeks ago
- A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree☆1,915Jan 22, 2026Updated 5 months ago
- A plugin for Flake8 finding likely bugs and design problems in your program. Contains warnings that don't belong in pyflakes and pycodest…☆1,115Jun 22, 2026Updated last week
- Ward is a modern test framework for Python with a focus on productivity and readability.☆1,209Aug 26, 2024Updated last year
- Simple, elegant, Pythonic functional programming.☆4,340Feb 16, 2026Updated 4 months ago
- A high-performance immutable mapping type for Python.☆1,205May 20, 2025Updated last year
- dead simple python dead code detection☆397May 19, 2026Updated last month