pschanely / CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
☆1,093Updated this week
Alternatives and similar repositories for CrossHair:
Users that are interested in CrossHair are comparing it to the libraries listed below
- 🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.☆776Updated 3 weeks ago
- Design-by-contract in Python3 with informative violation messages and inheritance☆357Updated 6 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆243Updated this week
- Smart, pythonic, ad-hoc, typed polymorphism for Python☆698Updated 3 months ago
- Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.☆674Updated last month
- An implementation of contracts for Python.☆345Updated 5 years ago
- AST-based fragmental source code refactoring toolkit for Python☆442Updated last year
- A Python type checker☆357Updated this week
- Combine contracts and automatic testing.☆79Updated 2 years ago
- Near Zero-Overhead Python Code Coverage☆522Updated 3 months ago
- The PYthoN General UnIt Test geNerator is a test-generation tool for Python☆1,259Updated last week
- Mutation testing system☆977Updated 3 weeks ago
- A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree☆1,635Updated last week
- HPy: a better API for Python☆1,104Updated last month
- Static Python call graph generator☆332Updated last year
- Easily run Python at the shell! Magical, but never mysterious.☆1,447Updated 2 months ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆417Updated 2 months ago
- Python AST read/write☆835Updated last month
- Easy and elegant parser combinators for Python. With awesome docs.☆385Updated 2 months ago
- Compile type annotated Python to fast C extensions☆1,806Updated last year
- Run-time type checker for Python☆1,622Updated 2 weeks ago
- A common base representation of python source code for pylint and other projects☆542Updated this week
- A Python Parser☆632Updated last week
- A high-performance immutable mapping type for Python.☆1,145Updated 5 months ago
- Bottom-up approach to refactoring in python☆704Updated 3 years ago
- A python lens library for manipulating deeply nested immutable structures☆320Updated last year
- Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.☆2,952Updated this week
- Runtime inspection utilities for Python typing module☆355Updated 7 months ago
- Auto-generate PEP-484 annotations☆1,434Updated 2 years ago
- Write short and fully-typed lambdas where you need them.☆276Updated last year