Zac-HD / hypothesmith
Hypothesis strategies for generating Python programs, something like CSmith
☆100Updated last year
Alternatives and similar repositories for hypothesmith:
Users that are interested in hypothesmith are comparing it to the libraries listed below
- Adaptive fuzzing of Hypothesis tests☆86Updated this week
- Extract semantic information about static Python code☆74Updated last month
- Annotate Python AST trees with source text and token information☆178Updated last week
- Utilities for run-time type validation and multiple dispatch☆164Updated last month
- Set of tools to play with Python AST.☆83Updated 2 years ago
- Property-based tests for the Python standard library (and builtins)☆27Updated 3 years ago
- Re-apply type annotations from .pyi stubs to your codebase.☆142Updated 2 years ago
- An unofficial, importable pip API☆113Updated 2 months ago
- Pretty print the output of python stdlib `ast.parse`.☆192Updated 2 weeks ago
- Write compiled bytecode inline with pure Python. 🤖☆75Updated 7 months ago
- A GitHub Action for suggesting Python type annotations.☆42Updated 2 years ago
- generate random python code to test linter/formatter/and other tools☆41Updated this week
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆245Updated this week
- Generate PyAnnotate annotations from your pytest tests.☆110Updated 2 years ago
- Generate waterfalls from `-Ximporttime` tracing.☆116Updated 2 weeks ago
- Combine contracts and automatic testing.☆80Updated 2 years ago
- A Python type checker☆357Updated last month
- Annotator that adds scope information to an ast☆23Updated 9 months ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆63Updated 3 years ago
- A wrapper around the stdlib `tokenize` which roundtrips.☆52Updated 2 weeks ago
- flake8 plugin which checks that typing imports are properly guarded☆48Updated 2 weeks ago
- coverage, just moreso☆42Updated 2 years ago
- Python AST that abstracts the underlying Python version☆144Updated 2 months ago
- Python tools, libraries and resources about AST (as in Abstract Syntax Trees)☆92Updated 2 years ago
- Grep Python Abstract Syntax Trees (AST) using XPath☆94Updated 3 weeks ago
- Operator overloading for fast anonymous functions.☆50Updated last month
- minimize python source code to find bugs more easily☆34Updated this week
- A command-line search utility for Python ASTs using XPath syntax.☆248Updated 2 years ago
- Create reproducible installations for a virtual environment from a lock file☆84Updated last month
- A runtime python code manipulation framework for profiling, debugging and bugfixing☆64Updated 2 years ago