pschanely / CrossHairLinks
An analysis tool for Python that blurs the line between testing and type systems.
☆1,171Updated last month
Alternatives and similar repositories for CrossHair
Users that are interested in CrossHair are comparing it to the libraries listed below
Sorting:
- 🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.☆811Updated 2 weeks ago
- Design-by-contract in Python3 with informative violation messages and inheritance☆374Updated 9 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆248Updated 2 months ago
- Mutation testing system☆1,103Updated last week
- AST-based fragmental source code refactoring toolkit for Python☆450Updated last year
- A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree☆1,711Updated this week
- An implementation of contracts for Python.☆345Updated 5 years ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆426Updated 3 weeks ago
- Easy and elegant parser combinators for Python. With awesome docs.☆400Updated 5 months ago
- Near Zero-Overhead Python Code Coverage☆540Updated 2 months ago
- Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.☆682Updated 2 weeks ago
- A Python type checker☆369Updated last week
- Mutation testing for Python☆591Updated last month
- Hypothesis strategies for generating Python programs, something like CSmith☆105Updated last year
- Smart, pythonic, ad-hoc, typed polymorphism for Python☆711Updated 6 months ago
- Python AST read/write☆847Updated 5 months ago
- Regular expression manipulation library☆366Updated last year
- The PYthoN General UnIt Test geNerator is a test-generation tool for Python☆1,303Updated 3 weeks ago
- A common base representation of python source code for pylint and other projects☆550Updated last week
- Bottom-up approach to refactoring in python☆713Updated 3 years ago
- A high-performance immutable mapping type for Python.☆1,160Updated last month
- Static call graph generator. The official Python 3 version. Development repo.☆375Updated 11 months ago
- Run-time type checker for Python☆1,677Updated last week
- A command-line search utility for Python ASTs using XPath syntax.☆251Updated 3 years ago
- A python lens library for manipulating deeply nested immutable structures☆323Updated last year
- An extensions for Hypothesis that provides fully automatic testing for type hinted functions☆348Updated last year
- MutPy is a mutation testing tool for Python 3.x source code☆356Updated last year
- Tool for automatically sorting python statements within a module☆376Updated last week
- ☆1,497Updated last year
- Ward is a modern test framework for Python with a focus on productivity and readability.☆1,209Updated 10 months ago