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
- Adaptive fuzzing of Hypothesis tests☆97Updated last week
- Annotate Python AST trees with source text and token information☆188Updated last month
- Grammars suitable for lark parser and Hypothesis☆51Updated last year
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- z3-powered solver (theorem prover) for deal☆12Updated 2 years ago
- Set of tools to play with Python AST.☆87Updated 3 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Python tools, libraries and resources about AST (as in Abstract Syntax Trees)☆100Updated 3 years ago
- Extract semantic information about static Python code☆78Updated 2 weeks ago
- Advanced macro expander and language lab for Python.☆69Updated 5 months ago
- Python library to work with algebraic effects☆80Updated 4 years ago
- Combine contracts and automatic testing.☆85Updated 3 years ago
- Python module to extract comments from source code files of various types.☆102Updated 4 months ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated 2 years ago
- ☆37Updated 6 years ago
- Library to generate random strings from regular expressions.☆130Updated 2 years ago
- ☆37Updated last month
- Extension to the built-in ast module. Finds comments in source code and adds them to the parsed tree.☆46Updated 3 months ago
- Utilities for run-time type validation and multiple dispatch☆171Updated last month
- ☆17Updated 4 years ago
- Cython plugin for Lark, reimplementing the LALR parser & lexer for better performance☆50Updated 2 months ago
- A corpus of Python programs annotated with contracts☆24Updated 3 years ago
- A Datalog Framework for Python☆13Updated 2 years ago
- Language server for domain specific languages based on textX☆40Updated 4 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆251Updated this week
- Fastest general-purpose parsing library for Python with a familiar API☆48Updated 3 months ago
- Mypy language server: runs mypy on Python code to provide type checking, go to definition, and hover.☆34Updated 4 years ago
- Retrieve information from typeshed and other typing stubs☆29Updated 2 months ago
- A command-line utility for pulling code blocks out of markdown files.☆15Updated 4 years ago