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☆110Updated last year
- Adaptive fuzzing of Hypothesis tests☆111Updated last month
- Programmable, human-readable inlining of Python code☆28Updated 3 years ago
- Advanced macro expander and language lab for Python.☆70Updated 9 months ago
- Annotate Python AST trees with source text and token information☆192Updated 3 weeks ago
- z3-powered solver (theorem prover) for deal☆13Updated 2 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Extract semantic information about static Python code☆81Updated last month
- Convert an EBNF grammar to the tree-sitter dsl☆28Updated 2 years ago
- Grammars suitable for lark parser and Hypothesis☆54Updated last year
- A runtime python code manipulation framework for profiling, debugging and bugfixing☆65Updated 3 years ago
- A corpus of Python programs annotated with contracts☆25Updated 3 months ago
- Python module to extract comments from source code files of various types.☆103Updated 8 months ago
- Utilities for run-time type validation and multiple dispatch☆172Updated 2 months ago
- Straightforward unification in Python that's extensible via generic functions.☆53Updated 3 months ago
- Python library to work with algebraic effects☆80Updated 5 years ago
- ☆37Updated 2 months ago
- Fastest general-purpose parsing library for Python with a familiar API☆49Updated 7 months ago
- Mypy language server: runs mypy on Python code to provide type checking, go to definition, and hover.☆34Updated 4 years ago
- Set of tools to play with Python AST.☆86Updated 3 years ago
- Language server for domain specific languages based on textX☆40Updated last week
- A Datalog Framework for Python☆15Updated 2 years ago
- Combine contracts and automatic testing.☆86Updated 3 years ago
- Fast AST based code differencing in Python☆42Updated last week
- Hypothesis extension to allow generating strings based on regex☆26Updated 7 years ago
- Python tools, libraries and resources about AST (as in Abstract Syntax Trees)☆102Updated 3 years ago
- A very minimal implementation of the core idea of Hypothesis☆143Updated last year
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆270Updated this week
- Graphviz visualizations of Python ASTs☆42Updated 10 years ago
- Scalpel: The Python Static Analysis Framework☆324Updated last year