pschanely / CrossHairLinks
An analysis tool for Python that blurs the line between testing and type systems.
☆1,157Updated 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.☆797Updated last week
- Design-by-contract in Python3 with informative violation messages and inheritance☆366Updated 8 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆246Updated 3 weeks ago
- Bottom-up approach to refactoring in python☆709Updated 3 years ago
- Mutation testing system☆1,059Updated 2 weeks ago
- Easy and elegant parser combinators for Python. With awesome docs.☆392Updated 4 months ago
- A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree☆1,689Updated this week
- Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.☆3,037Updated this week
- Run-time type checker for Python☆1,660Updated this week
- A python lens library for manipulating deeply nested immutable structures☆322Updated last year
- Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.☆680Updated last month
- A Python type checker☆365Updated 2 months ago
- Smart, pythonic, ad-hoc, typed polymorphism for Python☆710Updated 5 months ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆423Updated last month
- The PYthoN General UnIt Test geNerator is a test-generation tool for Python☆1,280Updated this week
- Near Zero-Overhead Python Code Coverage☆533Updated last month
- Python AST read/write☆844Updated 3 months ago
- Auto-generate PEP-484 annotations☆1,440Updated 2 years ago
- AST-based fragmental source code refactoring toolkit for Python☆447Updated last year
- A Python memory profiler for data processing and scientific computing applications☆873Updated 7 months ago
- Persistent/Immutable/Functional data structures for Python☆2,090Updated 3 months ago
- An implementation of contracts for Python.☆344Updated 5 years ago
- Compile type annotated Python to fast C extensions☆1,847Updated 2 years ago
- A command-line search utility for Python ASTs using XPath syntax.☆248Updated 3 years ago
- Functional programming for Python☆642Updated 2 months ago
- Combine contracts and automatic testing.☆83Updated 2 years ago
- Runtime inspection utilities for Python typing module☆362Updated 3 weeks ago
- Automatic test case generation for python and static analysis library☆262Updated 3 years ago
- `shed` canonicalises Python code. Shed your legacy, stop bikeshedding, and move on. Black++☆343Updated 7 months ago
- Multiple dispatch☆829Updated 5 months ago