Zac-HD / hypothesmithLinks
Hypothesis strategies for generating Python programs, something like CSmith
☆102Updated 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☆88Updated this week
- Extract semantic information about static Python code☆75Updated last week
- Annotate Python AST trees with source text and token information☆181Updated last month
- Utilities for run-time type validation and multiple dispatch☆165Updated 2 months ago
- Re-apply type annotations from .pyi stubs to your codebase.☆142Updated 2 years ago
- Property-based tests for the Python standard library (and builtins)☆27Updated 3 years ago
- generate random python code to test linter/formatter/and other tools☆43Updated this week
- A wrapper around the stdlib `tokenize` which roundtrips.☆55Updated this week
- minimize python source code to find bugs more easily☆37Updated this week
- Write compiled bytecode inline with pure Python. 🤖☆75Updated 8 months ago
- Pretty print the output of python stdlib `ast.parse`.☆195Updated this week
- ☆17Updated 4 years ago
- Generate PyAnnotate annotations from your pytest tests.☆110Updated 2 years ago
- Intelligently search in Python code☆67Updated last year
- flake8 plugin which checks that typing imports are properly guarded☆48Updated this week
- A GitHub Action for suggesting Python type annotations.☆42Updated 2 years ago
- Tool for translation type comments to type annotations in Python☆147Updated last year
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆63Updated 3 years ago
- Python variant types that work with match☆50Updated last year
- Cython plugin for Lark, reimplementing the LALR parser & lexer for better performance☆49Updated 3 weeks ago
- flake8 plugin which checks for misuse of `sys.version` or `sys.version_info`☆64Updated last year
- A Python type checker☆365Updated 2 months ago
- Declarative instrumentation for Python.☆89Updated last month
- Set of tools to play with Python AST.☆83Updated 2 years ago
- Decisions by the Python Typing Council☆46Updated 7 months ago
- Grep Python Abstract Syntax Trees (AST) using XPath☆96Updated 2 months ago
- An unofficial, importable pip API☆114Updated 3 weeks ago
- A command-line search utility for Python ASTs using XPath syntax.☆248Updated 3 years ago
- Operator overloading for fast anonymous functions.☆50Updated 2 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆246Updated 3 weeks ago