pschanely / CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
☆1,026Updated this week
Related projects ⓘ
Alternatives and complementary repositories for CrossHair
- 🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.☆744Updated this week
- Design-by-contract in Python3 with informative violation messages and inheritance☆342Updated last month
- A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree☆1,551Updated this week
- A Python type checker☆341Updated this week
- Mutation testing system☆924Updated last week
- AST-based fragmental source code refactoring toolkit for Python☆439Updated 10 months ago
- Bottom-up approach to refactoring in python☆697Updated 2 years ago
- Near Zero-Overhead Python Code Coverage☆496Updated this week
- An implementation of contracts for Python.☆342Updated 5 years ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆409Updated this week
- A high-performance immutable mapping type for Python.☆1,132Updated last month
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆232Updated 2 weeks ago
- `shed` canonicalises Python code. Shed your legacy, stop bikeshedding, and move on. Black++☆343Updated last month
- Tool for automatically sorting python statements within a module☆359Updated this week
- Smart, pythonic, ad-hoc, typed polymorphism for Python☆667Updated last month
- Combine contracts and automatic testing.☆78Updated 2 years ago
- Static call graph generator. The official Python 3 version. Development repo.☆335Updated 3 months ago
- Visualize CPython's specializing, adaptive interpreter.☆638Updated 5 months ago
- An extensions for Hypothesis that provides fully automatic testing for type hinted functions☆345Updated last year
- Auto-generate PEP-484 annotations☆1,427Updated 2 years ago
- HPy: a better API for Python☆1,096Updated 5 months ago
- Composable custom class converters for attrs, dataclasses and friends.☆822Updated this week
- A python documentation linter which checks that the docstring description matches the definition.☆483Updated last year
- A python lens library for manipulating deeply nested immutable structures☆310Updated 11 months ago
- Selects tests affected by changed files. Executes the right tests first. Continuous test runner when used with pytest-watch.☆834Updated this week
- Automatic test case generation for python and static analysis library☆261Updated 2 years ago
- Ward is a modern test framework for Python with a focus on productivity and readability.☆1,209Updated 2 months ago
- Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.☆670Updated last week
- A command-line search utility for Python ASTs using XPath syntax.☆247Updated 2 years ago
- Get a clue, get some code☆363Updated 3 years ago