🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
☆868Nov 30, 2025Updated 3 months ago
Alternatives and similar repositories for deal
Users that are interested in deal are comparing it to the libraries listed below
Sorting:
- Design-by-contract in Python3 with informative violation messages and inheritance☆397Jan 29, 2026Updated last month
- z3-powered solver (theorem prover) for deal☆13Sep 28, 2023Updated 2 years ago
- Make your functions return something meaningful, typed, and safe!☆4,232Updated this week
- An analysis tool for Python that blurs the line between testing and type systems.☆1,256Jan 19, 2026Updated last month
- Smart, pythonic, ad-hoc, typed polymorphism for Python☆724Dec 17, 2024Updated last year
- Pytest plugin to fail a test if it leaves modified `os.environ` afterwards.☆15Dec 16, 2025Updated 2 months ago
- The property-based testing library for Python☆8,476Updated this week
- Mutation testing system☆1,216Feb 23, 2026Updated last week
- Unbearably fast near-real-time pure-Python runtime-static type-checker.☆3,354Updated this week
- Phantom types for Python.☆233Jan 1, 2026Updated 2 months ago
- Lint your Python architecture.☆967Updated this week
- Run-time type checker for Python☆1,746Feb 19, 2026Updated 2 weeks ago
- Flake8 plugin to find commented out or dead code☆316Mar 14, 2025Updated 11 months ago
- Enforce the same settings on multiple projects☆413Feb 27, 2026Updated last week
- NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.☆1,688Aug 19, 2024Updated last year
- Combine contracts and automatic testing.☆87Jun 5, 2022Updated 3 years ago
- Write short and fully-typed lambdas where you need them.☆285Dec 11, 2023Updated 2 years ago
- A Python application for tracking, reporting on timing and complexity in Python code☆1,273Jan 2, 2026Updated 2 months ago
- A Python type checker☆379Jan 27, 2026Updated last month
- A Python library that generates static type annotations by collecting runtime types☆4,995Feb 11, 2026Updated 3 weeks ago
- The strictest and most opinionated python linter ever!☆2,828Updated this week
- Pytest plugin to randomly order tests and control random.seed☆697Updated this week
- Find dead Python code☆4,357Updated this week
- Catch API bugs before your users do☆3,079Updated this week
- dead simple python dead code detection☆396Dec 22, 2025Updated 2 months ago
- An implementation of contracts for Python.☆350Aug 30, 2019Updated 6 years ago
- Flake8 extension to validate (lack of) logging format strings☆137Updated this week
- Framework for safe and maintainable web-projects.☆75Feb 12, 2020Updated 6 years ago
- A high-performance immutable mapping type for Python.☆1,195May 20, 2025Updated 9 months ago
- Python project management. Manage packages: convert between formats, lock, install, resolve, isolate, test, build graph, show outdated,…☆1,787Jan 11, 2021Updated 5 years 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,112Updated this week
- A corpus of Python programs annotated with contracts☆25Oct 16, 2025Updated 4 months ago
- An IoC container for Python 3.8+☆415Feb 22, 2026Updated last week
- ❄️ A flake8 plugin to help you write better list/set/dict comprehensions.☆468Feb 14, 2026Updated 2 weeks ago
- Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.☆701Updated this week
- Ward is a modern test framework for Python with a focus on productivity and readability.☆1,210Aug 26, 2024Updated last year
- Collection of awesome Python types, stubs, plugins, and tools to work with them.☆1,948Updated this week
- Simple, elegant, Pythonic functional programming.☆4,308Feb 16, 2026Updated 2 weeks ago
- A functional standard library for Python.☆5,118Jan 1, 2026Updated 2 months ago