Zac-HD / hypothesmith
Hypothesis strategies for generating Python programs, something like CSmith
☆96Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for hypothesmith
- Adaptive fuzzing of Hypothesis tests☆82Updated last month
- Extract semantic information about static Python code☆70Updated last month
- Annotate Python AST trees with source text and token information☆172Updated last month
- Re-apply type annotations from .pyi stubs to your codebase.☆142Updated 2 years ago
- Utilities for run-time type validation and multiple dispatch☆163Updated last month
- Property-based tests for the Python standard library (and builtins)☆27Updated 3 years ago
- Combine contracts and automatic testing.☆78Updated 2 years ago
- A GitHub Action for suggesting Python type annotations.☆42Updated last year
- Design-by-contract in Python3 with informative violation messages and inheritance☆343Updated 2 months ago
- Set of tools to play with Python AST.☆83Updated 2 years ago
- Grep Python Abstract Syntax Trees (AST) using XPath☆92Updated last month
- Pretty print the output of python stdlib `ast.parse`.☆190Updated 3 weeks ago
- Operator overloading for fast anonymous functions.☆50Updated this week
- minimize python source code to find bugs more easily☆31Updated last week
- An unofficial, importable pip API☆110Updated 3 weeks ago
- Create reproducible installations for a virtual environment from a lock file☆83Updated 3 weeks ago
- Generate PyAnnotate annotations from your pytest tests.☆109Updated 2 years ago
- Intelligently search in Python code☆67Updated 8 months ago
- flake8 plugin which checks that typing imports are properly guarded☆49Updated 3 weeks ago
- generate random python code to test linter/formatter/and other tools☆40Updated this week
- Write compiled bytecode inline with pure Python. 🤖☆76Updated 2 months ago
- Over 600 fast Python bindings to the CPython C API. 🤯☆59Updated 2 months ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆62Updated 2 years ago
- extracted --boxed from pytest-xdist to ensure backward compat☆66Updated 2 months ago
- Python variant types that work with match☆48Updated 7 months ago
- Builds a graph of a Python project's internal dependencies.☆59Updated 2 weeks ago
- A wrapper around the stdlib `tokenize` which roundtrips.☆53Updated 3 weeks ago
- A command-line search utility for Python ASTs using XPath syntax.☆246Updated 2 years ago
- Tool for translation type comments to type annotations in Python☆141Updated 8 months ago
- A very minimal implementation of the core idea of Hypothesis☆127Updated 4 months ago