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
- Grammars suitable for lark parser and Hypothesis☆52Updated last year
- Adaptive fuzzing of Hypothesis tests☆99Updated last month
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Annotate Python AST trees with source text and token information☆189Updated last week
- Convert an EBNF grammar to the tree-sitter dsl☆28Updated last year
- Python module to extract comments from source code files of various types.☆102Updated 5 months ago
- z3-powered solver (theorem prover) for deal☆12Updated 2 years ago
- Straightforward unification in Python that's extensible via generic functions.☆51Updated 2 weeks ago
- Python tools, libraries and resources about AST (as in Abstract Syntax Trees)☆101Updated 3 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- A corpus of Python programs annotated with contracts☆25Updated 3 weeks ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆257Updated last week
- Advanced macro expander and language lab for Python.☆69Updated 6 months ago
- Live port of Lark's standalone parser to Javascript☆86Updated last year
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- A attempt to implement a viable record/replay debugger.☆82Updated last year
- Combine contracts and automatic testing.☆86Updated 3 years ago
- Fastest general-purpose parsing library for Python with a familiar API☆48Updated 4 months ago
- A Datalog Framework for Python☆15Updated 2 years ago
- Set of tools to play with Python AST.☆87Updated 3 years ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated last week
- Code for "Typilus: Neural Type Hints" PLDI 2020☆61Updated 2 years ago
- A very minimal implementation of the core idea of Hypothesis☆138Updated last year
- Scalpel: The Python Static Analysis Framework☆320Updated last year
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated 2 years ago
- Python library to work with algebraic effects☆80Updated 4 years ago
- Contractual Semver☆28Updated 3 years ago
- Language server for domain specific languages based on textX☆40Updated 6 months ago
- epsilon is a scanner generator☆28Updated 3 years ago