pschanely / CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
β1,075Updated 2 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.β767Updated 2 months ago
- Design-by-contract in Python3 with informative violation messages and inheritanceβ350Updated 3 months ago
- Mutation testing systemβ945Updated this week
- A high-performance immutable mapping type for Python.β1,137Updated 3 months ago
- Smart, pythonic, ad-hoc, typed polymorphism for Pythonβ691Updated last month
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.β238Updated this week
- An implementation of contracts for Python.β345Updated 5 years ago
- η« TatSu generates Python parsers from grammars in a variation of EBNFβ413Updated this week
- AST-based fragmental source code refactoring toolkit for Pythonβ440Updated last year
- A python lens library for manipulating deeply nested immutable structuresβ319Updated last year
- Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.β673Updated 2 weeks ago
- Composable custom class converters for attrs, dataclasses and friends.β845Updated this week
- A Python type checkerβ351Updated this week
- Easy and elegant parser combinators for Python. With awesome docs.β377Updated 8 months ago
- Near Zero-Overhead Python Code Coverageβ508Updated last month
- Combine contracts and automatic testing.β78Updated 2 years ago
- Adaptive fuzzing of Hypothesis testsβ83Updated this week
- Runtime inspection utilities for Python typing moduleβ352Updated 5 months ago
- Bottom-up approach to refactoring in pythonβ702Updated 2 years ago
- Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.β2,820Updated this week
- Write short and fully-typed lambdas where you need them.β274Updated last year
- Run-time type checker for Pythonβ1,576Updated last week
- A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax treeβ1,587Updated this week
- Yet another serialization library on top of dataclasses, inspired by serde-rs.β740Updated last week
- The sweeter pytest snapshot pluginβ575Updated this week
- Get a clue, get some codeβ363Updated 3 years ago
- A command-line search utility for Python ASTs using XPath syntax.β245Updated 2 years 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,067Updated this week
- An extensions for Hypothesis that provides fully automatic testing for type hinted functionsβ345Updated last year
- Visualize CPython's specializing, adaptive interpreter.β646Updated 7 months ago