pschanely / CrossHairLinks
An analysis tool for Python that blurs the line between testing and type systems.
☆1,244Updated 3 weeks ago
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.☆862Updated 2 months ago
- Design-by-contract in Python3 with informative violation messages and inheritance☆397Updated last week
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆270Updated this week
- A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree☆1,843Updated 2 weeks ago
- Mutation testing system☆1,204Updated last week
- Near Zero-Overhead Python Code Coverage☆564Updated this week
- Run-time type checker for Python☆1,744Updated this week
- AST-based fragmental source code refactoring toolkit for Python☆458Updated 2 years ago
- Easy and elegant parser combinators for Python. With awesome docs.☆426Updated 4 months ago
- A Python type checker☆378Updated last week
- Bottom-up approach to refactoring in python☆723Updated 4 years ago
- An implementation of contracts for Python.☆351Updated 6 years ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆437Updated this week
- Domain-Specific Languages and parsers in Python made easy http://textx.github.io/textX/☆837Updated last month
- Regular expression manipulation library☆391Updated 4 months ago
- Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.☆700Updated last week
- A high-performance immutable mapping type for Python.☆1,193Updated 8 months ago
- The PYthoN General UnIt Test geNerator is a test-generation tool for Python☆1,375Updated this week
- A python lens library for manipulating deeply nested immutable structures☆332Updated 2 years ago
- Static call graph generator. The official Python 3 version. Development repo.☆396Updated 3 months ago
- Mutation testing for Python☆620Updated 3 months ago
- Python AST read/write☆859Updated last year
- Patch built-in python objects☆873Updated 9 months ago
- Smart, pythonic, ad-hoc, typed polymorphism for Python☆723Updated last year
- Unbearably fast near-real-time pure-Python runtime-static type-checker.☆3,332Updated this week
- An extensions for Hypothesis that provides fully automatic testing for type hinted functions☆352Updated 2 years ago
- HPy: a better API for Python☆1,128Updated 8 months ago
- Adaptive fuzzing of Hypothesis tests☆111Updated 2 months ago
- Ward is a modern test framework for Python with a focus on productivity and readability.☆1,210Updated last year
- Visualize CPython's specializing, adaptive interpreter.☆668Updated last year