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:
- Adaptive fuzzing of Hypothesis tests☆101Updated last month
- Hypothesis strategies for generating Python programs, something like CSmith☆107Updated last year
- Python module to extract comments from source code files of various types.☆102Updated 6 months ago
- Grammars suitable for lark parser and Hypothesis☆53Updated last year
- Programmable, human-readable inlining of Python code☆28Updated 3 years ago
- Python tools, libraries and resources about AST (as in Abstract Syntax Trees)☆101Updated 3 years ago
- Annotate Python AST trees with source text and token information☆191Updated this week
- Declarative instrumentation for Python.☆100Updated this week
- A corpus of Python programs annotated with contracts☆25Updated last month
- A runtime python code manipulation framework for profiling, debugging and bugfixing☆65Updated 3 years ago
- Advanced macro expander and language lab for Python.☆69Updated 7 months ago
- Extract semantic information about static Python code☆81Updated last week
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated 2 years ago
- Static code analysis package for Python repositories☆33Updated 2 years ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆62Updated 2 years ago
- z3-powered solver (theorem prover) for deal☆12Updated 2 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Static Python call graph generator☆360Updated 2 years ago
- Graphviz visualizations of Python ASTs☆42Updated 10 years ago
- Combine contracts and automatic testing.☆86Updated 3 years ago
- Parallel Delta Debugging Framework☆53Updated 2 weeks ago
- Set of tools to play with Python AST.☆87Updated 3 years ago
- Utilities for run-time type validation and multiple dispatch☆172Updated last week
- A attempt to implement a viable record/replay debugger.☆82Updated last year
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆24Updated this week
- Fastest general-purpose parsing library for Python with a familiar API☆48Updated 5 months ago
- A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/☆145Updated 2 weeks ago
- Scalpel: The Python Static Analysis Framework☆322Updated last year
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆262Updated this week
- A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getter…☆38Updated 4 years ago