pschanely / CrossHairLinks
An analysis tool for Python that blurs the line between testing and type systems.
☆1,211Updated last week
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.☆836Updated 3 months ago
- Design-by-contract in Python3 with informative violation messages and inheritance☆383Updated last year
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆253Updated this week
- Mutation testing system☆1,151Updated last week
- A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree☆1,769Updated last week
- An implementation of contracts for Python.☆347Updated 6 years ago
- Near Zero-Overhead Python Code Coverage☆543Updated last week
- AST-based fragmental source code refactoring toolkit for Python☆455Updated last year
- A Python type checker☆374Updated last week
- Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.☆689Updated last week
- The PYthoN General UnIt Test geNerator is a test-generation tool for Python☆1,334Updated last week
- Bottom-up approach to refactoring in python☆715Updated 3 years ago
- Regular expression manipulation library☆375Updated 3 weeks ago
- Run-time type checker for Python☆1,712Updated last week
- Hypothesis strategies for generating Python programs, something like CSmith☆106Updated last year
- Python AST read/write☆857Updated 8 months ago
- A command-line search utility for Python ASTs using XPath syntax.☆255Updated 3 years ago
- A common base representation of python source code for pylint and other projects☆558Updated this week
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆430Updated 3 weeks ago
- Static call graph generator. The official Python 3 version. Development repo.☆382Updated last year
- Easy and elegant parser combinators for Python. With awesome docs.☆409Updated last month
- An extensions for Hypothesis that provides fully automatic testing for type hinted functions☆352Updated 2 years ago
- Mutation testing for Python☆609Updated 3 weeks ago
- Visualize CPython's specializing, adaptive interpreter.☆661Updated last year
- Smart, pythonic, ad-hoc, typed polymorphism for Python☆721Updated 10 months ago
- Ward is a modern test framework for Python with a focus on productivity and readability.☆1,211Updated last year
- Compile type annotated Python to fast C extensions☆1,889Updated 2 years ago
- A different spin on dataclasses.☆802Updated 3 years ago
- A high-performance immutable mapping type for Python.☆1,180Updated 5 months ago
- Automatic test case generation for python and static analysis library☆262Updated 3 years ago