ChrisTimperley / comby-pythonLinks
Python bindings for Comby
☆13Updated 2 years ago
Alternatives and similar repositories for comby-python
Users that are interested in comby-python are comparing it to the libraries listed below
Sorting:
- Hypothesis strategies for generating Python programs, something like CSmith☆108Updated last year
- Programmable, human-readable inlining of Python code☆28Updated 3 years ago
- Grammars suitable for lark parser and Hypothesis☆54Updated last year
- Adaptive fuzzing of Hypothesis tests☆102Updated 3 weeks ago
- Python module to extract comments from source code files of various types.☆102Updated 7 months ago
- Set of tools to play with Python AST.☆87Updated 3 years ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆62Updated 2 years ago
- Static code analysis package for Python repositories☆33Updated 2 years ago
- Library for building abstract syntax trees from antlr parsers☆43Updated 5 years ago
- Annotate Python AST trees with source text and token information☆192Updated 3 weeks ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated 2 weeks ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated 2 years ago
- Scalpel: The Python Static Analysis Framework☆322Updated last year
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Updated last month
- Python Symbolic Execution☆72Updated 6 years ago
- Straightforward unification in Python that's extensible via generic functions.☆51Updated 2 months ago
- Fast AST based code differencing in Python☆38Updated 11 months ago
- A corpus of Python programs annotated with contracts☆25Updated 2 months ago
- Python tools, libraries and resources about AST (as in Abstract Syntax Trees)☆102Updated 3 years ago
- Extract semantic information about static Python code☆81Updated 3 weeks ago
- z3-powered solver (theorem prover) for deal☆12Updated 2 years ago
- Parallel Delta Debugging Framework☆53Updated last month
- Partial evaluation of Python code☆22Updated 2 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Updated last year
- language-agnostic program reducer.☆200Updated 3 weeks ago
- Static Python call graph generator☆361Updated 2 years ago
- A Datalog Framework for Python☆15Updated 2 years ago
- Construct graphs from parsed source code☆301Updated last year
- tree-sitter grammar for the CodeQL language☆34Updated 4 months ago
- Graphviz visualizations of Python ASTs☆42Updated 10 years ago