pschanely / CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
☆1,031Updated 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.☆754Updated last week
- Design-by-contract in Python3 with informative violation messages and inheritance☆343Updated 2 months ago
- Near Zero-Overhead Python Code Coverage☆498Updated 2 weeks ago
- Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.☆671Updated 2 weeks ago
- AST-based fragmental source code refactoring toolkit for Python☆439Updated 10 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆233Updated 3 weeks ago
- Combine contracts and automatic testing.☆78Updated 2 years ago
- Mutation testing system☆929Updated last week
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆408Updated this week
- A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree☆1,558Updated this week
- Smart, pythonic, ad-hoc, typed polymorphism for Python☆671Updated last month
- An implementation of contracts for Python.☆343Updated 5 years ago
- Easy and elegant parser combinators for Python. With awesome docs.☆366Updated 6 months ago
- A Python type checker☆344Updated this week
- Python AST read/write☆815Updated 7 months ago
- Bottom-up approach to refactoring in python☆699Updated 2 years ago
- A python lens library for manipulating deeply nested immutable structures☆311Updated last year
- Run-time type checker for Python☆1,547Updated 2 weeks ago
- Patch built-in python objects☆826Updated last year
- Hypothesis strategies for generating Python programs, something like CSmith☆96Updated 9 months ago
- HPy: a better API for Python☆1,097Updated 5 months ago
- An extensions for Hypothesis that provides fully automatic testing for type hinted functions☆345Updated last year
- A Python Parser☆618Updated 4 months ago
- A Python memory profiler for data processing and scientific computing applications☆840Updated 2 weeks ago
- A high-performance immutable mapping type for Python.☆1,135Updated last month
- Tool for automatically sorting python statements within a module☆359Updated 2 weeks ago
- A command-line search utility for Python ASTs using XPath syntax.☆246Updated 2 years ago
- Phantom types for Python.☆201Updated 2 weeks ago
- Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.☆2,742Updated this week
- Runtime inspection utilities for Python typing module☆350Updated 3 months ago