pschanely's Stars
python/cpython
The Python programming language
HypothesisWorks/hypothesis
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
thonny/thonny
Python IDE for beginners
pypa/cibuildwheel
🎡 Build Python wheels for all the platforms with minimal configuration.
agronholm/typeguard
Run-time type checker for Python
se2p/pynguin
The PYthoN General UnIt Test geNerator is a test-generation tool for Python
pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
life4/deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
dry-python/classes
Smart, pythonic, ad-hoc, typed polymorphism for Python
openlawlibrary/pygls
A pythonic generic language server
iogf/crocs
Python to Regex. Regex to Python. The yRegex for humans.
annotated-types/annotated-types
Reusable constraint types to use with typing.Annotated
ilevkivskyi/typing_inspect
Runtime inspection utilities for Python typing module
Parquery/icontract
Design-by-contract in Python3 with informative violation messages and inheritance
usagitoneko97/klara
Automatic test case generation for python and static analysis library
RocketRace/easy_z3
Using z3's never been easier (maybe)
iogf/eacc
Minimalist but flexible Lexer/Parser tool in Python.
pschanely/contractual-semver
Contractual Semver
mristin/python-by-contract-corpus
A corpus of Python programs annotated with contracts
JelleZijlstra/typeshed_client
Retrieve information from typeshed and other typing stubs
abathur/tdver
dreaming about test-driven versioning
dslab-epfl/svshi
Formal verification for smart infrastructure (buildings, cities, etc.)
mristin/icontract-hypothesis-pycharm
Automatically test Python code using icontract-hypothesis in Pycharm
espetro/refined
Refinement types for Python
pschanely/crosshair-vscode
Use crosshair to statically analyze Python code from within VS Code.
pschanely/crosshair-benchmark
Benchmarking data and scripts to evaluate the performance of CrossHair
pschanely/crosshair-pycharm
Use crosshair to statically analyze Python code from within PyCharm.
pschanely/thonny-crosshair
Automatically verify Python code using CrossHair in Thonny.
abathur/tdverpy
a WIP test-driven versioning tool (see https://github.com/abathur/tdver)
petrusboniatus/sfdf
Minimal pure python dataframe implementation, intented to use with crosshair