Zac-HD / hypothesmithLinks
Hypothesis strategies for generating Python programs, something like CSmith
☆109Updated 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☆104Updated last month
- Annotate Python AST trees with source text and token information☆192Updated this week
- Extract semantic information about static Python code☆81Updated last month
- Write compiled bytecode inline with pure Python. 🤖☆81Updated last year
- Pretty print the output of python stdlib `ast.parse`.☆196Updated 2 weeks ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆70Updated last month
- Re-apply type annotations from .pyi stubs to your codebase.☆145Updated 3 years ago
- A command-line search utility for Python ASTs using XPath syntax.☆255Updated 3 years ago
- A Python type checker☆377Updated last month
- Declarative instrumentation for Python.☆100Updated this week
- Utilities for run-time type validation and multiple dispatch☆172Updated last month
- Property-based tests for the Python standard library (and builtins)☆27Updated 4 years ago
- A wrapper around the stdlib `tokenize` which roundtrips.☆61Updated 2 weeks ago
- Python variant types that work with match☆54Updated last year
- Operator overloading for fast anonymous functions.☆50Updated 2 weeks ago
- Set of tools to play with Python AST.☆86Updated 3 years ago
- Design-by-contract in Python3 with informative violation messages and inheritance☆392Updated 2 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆269Updated this week
- Annotator that adds scope information to an ast☆26Updated 6 months ago
- Extension to the built-in ast module. Finds comments in source code and adds them to the parsed tree.☆49Updated 3 months ago
- generate random python code to test linter/formatter/and other tools☆53Updated this week
- An unofficial, importable pip API☆119Updated 3 weeks ago
- Over 600 fast Python bindings to the CPython C API. 🤯☆62Updated last year
- Cython plugin for Lark, reimplementing the LALR parser & lexer for better performance☆52Updated 5 months ago
- Create reproducible installations for a virtual environment from a lock file☆85Updated last month
- Combine contracts and automatic testing.☆86Updated 3 years ago
- Grep Python Abstract Syntax Trees (AST) using XPath☆104Updated this week
- Intelligently search in Python code☆67Updated last year
- Modified fork of CPython's ast module that parses `# type:` comments☆233Updated 2 years ago
- minimize python source code to find bugs more easily☆46Updated this week