pschanely / CrossHairLinks
An analysis tool for Python that blurs the line between testing and type systems.
☆1,237Updated this 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.☆855Updated last month
- Design-by-contract in Python3 with informative violation messages and inheritance☆390Updated last month
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆268Updated last week
- Mutation testing system☆1,179Updated this week
- A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree☆1,816Updated last week
- AST-based fragmental source code refactoring toolkit for Python☆459Updated 2 years ago
- Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.☆695Updated 3 weeks ago
- Near Zero-Overhead Python Code Coverage☆554Updated 2 months ago
- An implementation of contracts for Python.☆350Updated 6 years ago
- Bottom-up approach to refactoring in python☆722Updated 3 years ago
- A Python type checker☆377Updated last month
- Mutation testing for Python☆618Updated last month
- Python AST read/write☆861Updated 10 months ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆436Updated this week
- Run-time type checker for Python☆1,733Updated this week
- Easy and elegant parser combinators for Python. With awesome docs.☆420Updated 3 months ago
- Patch built-in python objects☆870Updated 8 months ago
- A high-performance immutable mapping type for Python.☆1,190Updated 7 months ago
- An extensions for Hypothesis that provides fully automatic testing for type hinted functions☆352Updated 2 years ago
- Auto-generate PEP-484 annotations☆1,448Updated 3 years ago
- Smart, pythonic, ad-hoc, typed polymorphism for Python☆722Updated last year
- Regular expression manipulation library☆390Updated 3 months ago
- Hypothesis strategies for generating Python programs, something like CSmith☆108Updated last year
- The PYthoN General UnIt Test geNerator is a test-generation tool for Python☆1,344Updated 3 weeks ago
- A python lens library for manipulating deeply nested immutable structures☆331Updated 2 years ago
- Visualize CPython's specializing, adaptive interpreter.☆666Updated last year
- A common base representation of python source code for pylint and other projects☆572Updated this week
- A Python Parser☆662Updated 4 months ago
- Fully automated python fuzzer built to test if code actually is production ready in seconds.☆111Updated 8 months ago
- Static Python call graph generator☆361Updated 2 years ago