pschanely / CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
☆1,122Updated 3 weeks ago
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.☆792Updated 2 months ago
- Design-by-contract in Python3 with informative violation messages and inheritance☆363Updated 7 months ago
- Mutation testing system☆1,011Updated 2 weeks ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆245Updated this week
- Near Zero-Overhead Python Code Coverage☆531Updated last week
- AST-based fragmental source code refactoring toolkit for Python☆444Updated last year
- A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree☆1,667Updated last week
- 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
- An implementation of contracts for Python.☆344Updated 5 years ago
- Run-time type checker for Python☆1,644Updated last month
- Combine contracts and automatic testing.☆80Updated 2 years ago
- A Python type checker☆361Updated last month
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆422Updated last week
- Automatic test case generation for python and static analysis library☆262Updated 3 years ago
- HPy: a better API for Python☆1,113Updated 3 weeks ago
- Smart, pythonic, ad-hoc, typed polymorphism for Python☆702Updated 4 months ago
- Adaptive fuzzing of Hypothesis tests☆86Updated this week
- Visualize CPython's specializing, adaptive interpreter.☆655Updated 11 months ago
- The PYthoN General UnIt Test geNerator is a test-generation tool for Python☆1,273Updated this week
- Easily run Python at the shell! Magical, but never mysterious.☆1,473Updated 3 weeks ago
- Hypothesis strategies for generating Python programs, something like CSmith☆102Updated last year
- Bottom-up approach to refactoring in python☆707Updated 3 years ago
- An extensions for Hypothesis that provides fully automatic testing for type hinted functions☆346Updated last year
- Composable custom class converters for attrs, dataclasses and friends.☆889Updated last month
- Tool for automatically sorting python statements within a module☆373Updated 3 months ago
- A command-line search utility for Python ASTs using XPath syntax.☆249Updated 3 years ago
- Toolkit to run Python benchmarks☆849Updated 2 months ago
- A fast and efficient type assistant for Python, including tensor shape inference☆314Updated this week
- A Python Parser☆637Updated last month
- Shrinkray is a modern multi-format test-case reducer☆268Updated last month