pschanely / CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
β1,113Updated last week
Alternatives and similar repositories for CrossHair:
Users that are interested in CrossHair are comparing it to the libraries listed below
- π€ Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.β785Updated last month
- Design-by-contract in Python3 with informative violation messages and inheritanceβ361Updated 6 months ago
- Mutation testing systemβ988Updated this week
- AST-based fragmental source code refactoring toolkit for Pythonβ443Updated last year
- Near Zero-Overhead Python Code Coverageβ525Updated 4 months ago
- An implementation of contracts for Python.β344Updated 5 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.β244Updated this week
- Bottom-up approach to refactoring in pythonβ707Updated 3 years ago
- η« TatSu generates Python parsers from grammars in a variation of EBNFβ421Updated 2 months ago
- A Python type checkerβ357Updated last month
- Combine contracts and automatic testing.β80Updated 2 years ago
- Auto-generate PEP-484 annotationsβ1,436Updated 2 years ago
- Visualize CPython's specializing, adaptive interpreter.β650Updated 10 months ago
- Smart, pythonic, ad-hoc, typed polymorphism for Pythonβ702Updated 4 months ago
- Ward is a modern test framework for Python with a focus on productivity and readability.β1,211Updated 7 months ago
- Static Python call graph generatorβ336Updated last year
- A command-line search utility for Python ASTs using XPath syntax.β248Updated 2 years ago
- Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.β675Updated 3 weeks ago
- A common base representation of python source code for pylint and other projectsβ543Updated last week
- An extensions for Hypothesis that provides fully automatic testing for type hinted functionsβ345Updated last year
- A Python Parserβ634Updated last month
- Tool for automatically sorting python statements within a moduleβ371Updated 2 months ago
- MutPy is a mutation testing tool for Python 3.x source codeβ350Updated 11 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,086Updated 2 weeks ago
- Run-time type checker for Pythonβ1,636Updated last week
- Pytest plugin to randomly order tests and control random.seedβ653Updated last week
- Get a clue, get some codeβ362Updated 3 years ago
- Phantom types for Python.β213Updated 2 weeks ago
- A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax treeβ1,650Updated last week
- HPy: a better API for Pythonβ1,110Updated last week