pschanely / CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
β1,083Updated 3 weeks ago
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.β769Updated 3 months ago
- Design-by-contract in Python3 with informative violation messages and inheritanceβ353Updated 5 months ago
- Mutation testing systemβ956Updated 2 weeks ago
- A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax treeβ1,612Updated this week
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.β240Updated this week
- AST-based fragmental source code refactoring toolkit for Pythonβ442Updated last year
- HPy: a better API for Pythonβ1,101Updated 3 weeks ago
- Run-time type checker for Pythonβ1,598Updated this week
- A Python Parserβ629Updated last month
- A Python type checkerβ355Updated this week
- Smart, pythonic, ad-hoc, typed polymorphism for Pythonβ696Updated 2 months ago
- η« TatSu generates Python parsers from grammars in a variation of EBNFβ414Updated last month
- Visualize CPython's specializing, adaptive interpreter.β646Updated 9 months ago
- Ward is a modern test framework for Python with a focus on productivity and readability.β1,211Updated 5 months ago
- A high-performance immutable mapping type for Python.β1,141Updated 4 months ago
- Easy and elegant parser combinators for Python. With awesome docs.β382Updated 3 weeks ago
- Combine contracts and automatic testing.β78Updated 2 years ago
- Bottom-up approach to refactoring in pythonβ703Updated 3 years ago
- An implementation of contracts for Python.β345Updated 5 years ago
- Explain yourself! Interrogate a codebase for docstring coverage.β600Updated 2 weeks ago
- A plugin for Flake8 finding likely bugs and design problems in your program. Contains warnings that don't belong in pyflakes and pycodestβ¦β1,073Updated this week
- A common base representation of python source code for pylint and other projectsβ539Updated this week
- Tool for automatically sorting python statements within a moduleβ369Updated 3 weeks ago
- Toolkit to run Python benchmarksβ837Updated last month
- Near Zero-Overhead Python Code Coverageβ513Updated 2 months ago
- Python AST read/writeβ832Updated 2 weeks ago
- Get a clue, get some codeβ362Updated 3 years ago
- Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.β675Updated 2 weeks ago
- Domain-Specific Languages and parsers in Python made easy http://textx.github.io/textX/β787Updated 3 months ago
- A different spin on dataclasses.β792Updated 3 years ago