ChrisTimperley / comby-pythonLinks
Python bindings for Comby
☆13Updated last year
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☆106Updated last year
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Adaptive fuzzing of Hypothesis tests☆96Updated this week
- Grammars suitable for lark parser and Hypothesis☆50Updated last year
- Annotate Python AST trees with source text and token information☆186Updated this week
- z3-powered solver (theorem prover) for deal☆12Updated last year
- A light-weight, extendable, high level, universal code parser built on top of tree-sitter☆129Updated 3 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated last year
- Python tools, libraries and resources about AST (as in Abstract Syntax Trees)☆100Updated 3 years ago
- Set of tools to play with Python AST.☆87Updated 2 years ago
- Extract semantic information about static Python code☆78Updated 3 months ago
- A runtime python code manipulation framework for profiling, debugging and bugfixing☆65Updated 3 years ago
- Fastest general-purpose parsing library for Python with a familiar API☆48Updated 2 months ago
- Unified diff python parsing/metadata extraction library☆271Updated last year
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆249Updated 3 months ago
- Advanced macro expander and language lab for Python.☆68Updated 4 months ago
- Machine Query Interface☆19Updated 3 weeks ago
- Human-oriented abstract syntax tree (AST) parser/unparser for Python 3 that doesn't discard comments.☆17Updated 5 years ago
- Utilities for run-time type validation and multiple dispatch☆170Updated 3 weeks ago
- Python module to extract comments from source code files of various types.☆101Updated 3 months ago
- Type inference provider using mypy for LibCST!☆13Updated 2 years ago
- Combine contracts and automatic testing.☆84Updated 3 years ago
- Scalpel: The Python Static Analysis Framework☆315Updated last year
- A corpus of Python programs annotated with contracts☆24Updated 3 years ago
- ☆36Updated 2 weeks ago
- Graphviz visualizations of Python ASTs☆41Updated 9 years ago
- language-agnostic program reducer.☆192Updated 2 months ago
- Static Python call graph generator☆349Updated last year
- A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getter…☆38Updated 4 years ago