kamahen / pykythe
Generate code Python source cross-reference facts in Kythe format
☆23Updated 6 months ago
Alternatives and similar repositories for pykythe:
Users that are interested in pykythe are comparing it to the libraries listed below
- Bazel build rules for machine learning workflows☆29Updated 2 years ago
- Extract semantic information about static Python code☆74Updated 3 weeks ago
- Parallel Delta Debugging Framework☆52Updated 3 months ago
- Hypothesis strategies for generating Python programs, something like CSmith☆99Updated last year
- ☆36Updated this week
- A Low Barrier Proof Assistant☆80Updated this week
- Python bytecode instrumentation library☆120Updated 8 years ago
- 🔍 Code Search Tools & Experiments☆12Updated last month
- Annotator that adds scope information to an ast☆23Updated 9 months ago
- AutoTransform is a framework for large-scale, automated code modification in a production environment.☆59Updated 2 months ago
- ☆10Updated 4 years ago
- The complexities of identifying and tracking open-source software (OSS) to comply with license requirements adds friction to the developm…☆30Updated last year
- SCIP indexer for Python☆59Updated last week
- Retrospective of Python compilation efforts☆64Updated 2 years ago
- Property-based tests for the Python standard library (and builtins)☆27Updated 3 years ago
- Allows to check regexes for overlaps. Based on greenery by @qntm.☆48Updated 9 months ago
- Flow graphs for Python☆25Updated 2 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆243Updated this week
- Code for enumeration from a CFG☆18Updated last year
- Automatically exported from code.google.com/p/sequitur☆48Updated 8 months ago
- Grammars suitable for lark parser and Hypothesis☆47Updated last year
- Theory propagator for linear programming using clingo theory language and interface.☆10Updated 3 years ago
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Updated 2 years ago
- Library for building and working with arbitrary ASTs on top of dataclasses☆21Updated 4 months ago
- Generic Configuration Language (A reusable configuration language for Python)☆60Updated 7 years ago
- Hierarchical Delta Debugging Framework☆59Updated 3 months ago
- Bazel Starlark extensions for defining fuzz tests in Bazel projects☆88Updated last month
- Partial evaluation of Python code☆20Updated 2 years ago
- Specify and synthesize systems using symbolic algorithms☆45Updated 5 months ago
- UnderHood is a code browsing interface backed by Kythe indices.☆90Updated 10 months ago