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:
- Extract semantic information about static Python code☆80Updated last month
- Adaptive fuzzing of Hypothesis tests☆97Updated 3 weeks ago
- Annotate Python AST trees with source text and token information☆188Updated last month
- A command-line search utility for Python ASTs using XPath syntax.☆255Updated 3 years ago
- Re-apply type annotations from .pyi stubs to your codebase.☆144Updated 3 years ago
- Pretty print the output of python stdlib `ast.parse`.☆195Updated last week
- Property-based tests for the Python standard library (and builtins)☆27Updated 3 years ago
- A Python type checker☆375Updated this week
- Utilities for run-time type validation and multiple dispatch☆171Updated 2 months ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆68Updated 3 years ago
- Design-by-contract in Python3 with informative violation messages and inheritance☆383Updated last year
- Write compiled bytecode inline with pure Python. 🤖☆81Updated last year
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆253Updated this week
- Set of tools to play with Python AST.☆87Updated 3 years ago
- Combine contracts and automatic testing.☆85Updated 3 years ago
- Modified fork of CPython's ast module that parses `# type:` comments☆232Updated 2 years ago
- Fully automated python fuzzer built to test if code actually is production ready in seconds.☆109Updated 6 months ago
- An unofficial, importable pip API☆116Updated last month
- A wrapper around the stdlib `tokenize` which roundtrips.☆58Updated last week
- An AST unparser for Python☆229Updated 2 years ago
- Instant visualization of Python AST and Code Objects☆142Updated last year
- Create reproducible installations for a virtual environment from a lock file☆85Updated last month
- Intelligently search in Python code☆67Updated last year
- An IPython notebook plugin for visualizing ASTs.☆107Updated 9 months ago
- Extension to the built-in ast module. Finds comments in source code and adds them to the parsed tree.☆47Updated last week
- Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.☆200Updated 2 years ago
- Annotator that adds scope information to an ast☆26Updated 4 months ago
- A tool for generating random, syntactically-correct Python code. Designed for fuzzing and testing of tools that parse Python code.☆23Updated 2 years ago
- A very minimal implementation of the core idea of Hypothesis☆138Updated last year
- Generate PyAnnotate annotations from your pytest tests.☆111Updated 3 years ago