Archived: see https://github.com/andrew222651/semkon2

An analysis tool for Python that blurs the line between testing and type systems.

Level-up your Hypothesis tests with CrossHair

Minimal pure python dataframe implementation, intented to use with crosshair

Reusable constraint types to use with typing.Annotated

🎡 Build Python wheels for all the platforms with minimal configuration.

Smart, pythonic, ad-hoc, typed polymorphism for Python

A pythonic generic language server

Formal verification for smart infrastructure (buildings, cities, etc.)

The property-based testing library for Python

a WIP test-driven versioning tool (see https://github.com/abathur/tdver)

Benchmarking data and scripts to evaluate the performance of CrossHair

Contractual Semver

dreaming about test-driven versioning

Refinement types for Python

Automatic test case generation for python and static analysis library

Using z3's never been easier (maybe)

The PYthoN General UnIt Test geNerator is a test-generation tool for Python

Automatically verify Python code using CrossHair in Thonny.

Run-time type checker for Python

A corpus of Python programs annotated with contracts

Python IDE for beginners

The Python programming language

Use crosshair to statically analyze Python code from within PyCharm.

Use crosshair to statically analyze Python code from within VS Code.

Retrieve information from typeshed and other typing stubs

Automatically test Python code using icontract-hypothesis in Pycharm

Design-by-contract in Python3 with informative violation messages and inheritance

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

Runtime inspection utilities for Python typing module