Zac-HD / hypothesmithLinks
Hypothesis strategies for generating Python programs, something like CSmith
☆106Updated last year
Alternatives and similar repositories for hypothesmith
Users that are interested in hypothesmith are comparing it to the libraries listed below
Sorting:
- Annotate Python AST trees with source text and token information☆183Updated last month
- Adaptive fuzzing of Hypothesis tests☆95Updated this week
- Extract semantic information about static Python code☆77Updated last month
- A Python type checker☆370Updated this week
- Pretty print the output of python stdlib `ast.parse`.☆196Updated last week
- A command-line search utility for Python ASTs using XPath syntax.☆252Updated 3 years ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆67Updated 3 years ago
- Re-apply type annotations from .pyi stubs to your codebase.☆143Updated 2 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆247Updated 2 months ago
- Property-based tests for the Python standard library (and builtins)☆27Updated 3 years ago
- Utilities for run-time type validation and multiple dispatch☆168Updated 4 months ago
- Set of tools to play with Python AST.☆87Updated 2 years ago
- Design-by-contract in Python3 with informative violation messages and inheritance☆378Updated 10 months ago
- A wrapper around the stdlib `tokenize` which roundtrips.☆57Updated last week
- Combine contracts and automatic testing.☆84Updated 3 years ago
- Write compiled bytecode inline with pure Python. 🤖☆78Updated 10 months ago
- Intelligently search in Python code☆67Updated last year
- Declarative instrumentation for Python.☆91Updated last week
- Operator overloading for fast anonymous functions.☆50Updated this week
- Fully automated python fuzzer built to test if code actually is production ready in seconds.☆108Updated 3 months ago
- Cython plugin for Lark, reimplementing the LALR parser & lexer for better performance☆51Updated 2 weeks ago
- An AST unparser for Python☆228Updated last year
- Create reproducible installations for a virtual environment from a lock file☆85Updated 4 months ago
- Over 600 fast Python bindings to the CPython C API. 🤯☆61Updated 10 months ago
- Generate PyAnnotate annotations from your pytest tests.☆110Updated 3 years ago
- Python library to work with algebraic effects☆79Updated 4 years ago
- Python variant types that work with match☆52Updated last year
- An unofficial, importable pip API☆114Updated last month
- Modified fork of CPython's ast module that parses `# type:` comments☆229Updated 2 years ago
- A tool for generating random, syntactically-correct Python code. Designed for fuzzing and testing of tools that parse Python code.☆23Updated last year