Zac-HD / hypothesmithLinks
Hypothesis strategies for generating Python programs, something like CSmith
☆103Updated last year
Alternatives and similar repositories for hypothesmith
Users that are interested in hypothesmith are comparing it to the libraries listed below
Sorting:
- Adaptive fuzzing of Hypothesis tests☆94Updated this week
- Extract semantic information about static Python code☆77Updated 2 weeks ago
- Annotate Python AST trees with source text and token information☆182Updated 2 months ago
- Re-apply type annotations from .pyi stubs to your codebase.☆142Updated 2 years ago
- Utilities for run-time type validation and multiple dispatch☆167Updated 3 months ago
- Generate PyAnnotate annotations from your pytest tests.☆109Updated 3 years ago
- minimize python source code to find bugs more easily☆38Updated this week
- A GitHub Action for suggesting Python type annotations.☆42Updated 2 years ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆63Updated 3 years ago
- A tool for generating random, syntactically-correct Python code. Designed for fuzzing and testing of tools that parse Python code.☆22Updated last year
- A command-line search utility for Python ASTs using XPath syntax.☆251Updated 3 years ago
- Operator overloading for fast anonymous functions.☆50Updated this week
- Fully automated python fuzzer built to test if code actually is production ready in seconds.☆109Updated 2 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆247Updated last month
- Pretty print the output of python stdlib `ast.parse`.☆195Updated 2 weeks ago
- A Python type checker☆366Updated last week
- Property-based tests for the Python standard library (and builtins)☆27Updated 3 years ago
- Set of tools to play with Python AST.☆85Updated 2 years ago
- Write compiled bytecode inline with pure Python. 🤖☆77Updated 9 months ago
- Declarative instrumentation for Python.☆90Updated 2 months ago
- A very minimal implementation of the core idea of Hypothesis☆137Updated 11 months ago
- Combine contracts and automatic testing.☆83Updated 3 years ago
- Intelligently search in Python code☆67Updated last year
- What The Patch!? -- A Python patch parsing library☆69Updated 7 months ago
- generate random python code to test linter/formatter/and other tools☆44Updated this week
- flake8 plugin which checks that typing imports are properly guarded☆48Updated 2 weeks ago
- A runtime python code manipulation framework for profiling, debugging and bugfixing☆65Updated 2 years ago
- Useful types for Python☆132Updated 2 months ago
- A wrapper around the stdlib `tokenize` which roundtrips.☆55Updated 2 weeks ago
- Pytest plugin for trio☆56Updated 10 months ago