pschanely / CrossHairLinks
An analysis tool for Python that blurs the line between testing and type systems.
☆1,193Updated 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.☆825Updated 2 months ago
- Design-by-contract in Python3 with informative violation messages and inheritance☆378Updated 11 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆249Updated 3 months ago
- Mutation testing system☆1,127Updated this week
- A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree☆1,744Updated this week
- Near Zero-Overhead Python Code Coverage☆543Updated last month
- Run-time type checker for Python☆1,691Updated last week
- An implementation of contracts for Python.☆345Updated 6 years ago
- A Python type checker☆372Updated last week
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆429Updated 2 months ago
- AST-based fragmental source code refactoring toolkit for Python☆455Updated last year
- A high-performance immutable mapping type for Python.☆1,176Updated 3 months ago
- Easy and elegant parser combinators for Python. With awesome docs.☆403Updated 7 months ago
- A command-line search utility for Python ASTs using XPath syntax.☆253Updated 3 years ago
- Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.☆686Updated last month
- Bottom-up approach to refactoring in python☆715Updated 3 years ago
- Smart, pythonic, ad-hoc, typed polymorphism for Python☆716Updated 8 months ago
- Patch built-in python objects☆859Updated 4 months ago
- Hypothesis strategies for generating Python programs, something like CSmith☆106Updated last year
- Runtime inspection utilities for Python typing module☆366Updated 3 months ago
- A python lens library for manipulating deeply nested immutable structures☆325Updated last year
- Domain-Specific Languages and parsers in Python made easy http://textx.github.io/textX/☆816Updated 3 months ago
- The PYthoN General UnIt Test geNerator is a test-generation tool for Python☆1,319Updated this week
- Regular expression manipulation library☆369Updated last year
- A common base representation of python source code for pylint and other projects☆554Updated this week
- Mutation testing for Python☆595Updated 3 months ago
- HPy: a better API for Python☆1,117Updated 3 months ago
- Tool for automatically sorting python statements within a module☆383Updated last month
- Python AST read/write☆853Updated 6 months ago
- Eliot: the logging system that tells you *why* it happened☆1,153Updated 6 months ago