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
- ACER is an AST-based Callgraph Generator Development Framework☆32Updated 10 months ago
- Extract semantic information about static Python code☆75Updated last month
- A Python 3 module that provides functions for splitting identifiers found in source code files.☆47Updated 2 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆100Updated last year
- UnderHood is a code browsing interface backed by Kythe indices.☆90Updated 11 months ago
- ☆10Updated 4 years ago
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆21Updated this week
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated last year
- Hierarchical Delta Debugging Framework☆59Updated 4 months ago
- Generate source code for a set of Python classes from a JSON schema.☆37Updated 2 years ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆60Updated 2 years ago
- Parallel Delta Debugging Framework☆51Updated 4 months ago
- Toolbox for working with the Python AST☆17Updated last year
- Python tools, libraries and resources about AST (as in Abstract Syntax Trees)☆92Updated 2 years ago
- 🔍 Code Search Tools & Experiments☆12Updated 2 months ago
- C# Data Extraction for "Learning to Represent Edits"☆26Updated 6 years ago
- A Low Barrier Proof Assistant☆108Updated last week
- ☆26Updated 2 weeks ago
- Finding similar repositories on GitHub☆48Updated 2 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆245Updated last week
- Python bindings for Comby☆13Updated last year
- Grammars suitable for lark parser and Hypothesis☆46Updated last year
- 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
- Python subsets☆41Updated 8 years ago
- Retrospective of Python compilation efforts☆64Updated 3 years ago
- Static code analysis package for Python repositories☆30Updated last year
- Utilities used by the Deep Program Understanding team☆102Updated last year
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆26Updated 6 years ago
- A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.☆10Updated 3 years ago
- Property-based tests for the Python standard library (and builtins)☆27Updated 3 years ago