kamahen / pykytheLinks
Generate code Python source cross-reference facts in Kythe format
☆25Updated 9 months ago
Alternatives and similar repositories for pykythe
Users that are interested in pykythe are comparing it to the libraries listed below
Sorting:
- Level-up your Hypothesis tests with CrossHair☆16Updated last month
- Static code analysis package for Python repositories☆31Updated last year
- Code for "Typilus: Neural Type Hints" PLDI 2020☆61Updated 2 years ago
- Generate source code for a set of Python classes from a JSON schema.☆37Updated 2 years ago
- CD4Py: Code De-Duplication for Python☆24Updated 4 years ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated last year
- Toolbox for working with the Python AST☆17Updated last year
- Extract semantic information about static Python code☆77Updated last month
- Benchmark structured generation libraries☆27Updated 8 months ago
- Moatless Testbeds allows you to create isolated testbed environments in a Kubernetes cluster where you can apply code changes through git…☆13Updated 3 months ago
- Flow graphs for Python☆26Updated 2 years ago
- ☆84Updated last month
- Incremental Python parser for constrained generation of code by LLMs.☆17Updated 10 months ago
- A Comparative Study of Various Code Embeddings in Software Semantic Matching☆16Updated 2 years ago
- A corpus of Python programs annotated with contracts☆22Updated 2 years ago
- Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…☆55Updated last year
- Fast and robust AST parsing of any language☆44Updated 6 months ago
- ☆11Updated 4 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated 2 weeks ago
- Python interpreter for TLA+ specifications☆113Updated last year
- Fast tokenization and structural analysis of any programming language☆57Updated 6 months ago
- A Low Barrier Proof Assistant☆116Updated this week
- 🔍 Code Search Tools & Experiments☆12Updated 2 weeks ago
- ☆94Updated last month
- Utilities used by the Deep Program Understanding team☆102Updated 2 years ago
- Grammars suitable for lark parser and Hypothesis☆48Updated last year
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆44Updated 11 months ago
- AskIt: Unified programming interface for programming with LLMs (GPT-3.5, GPT-4, Gemini, Claude, Cohere, Llama 2)☆79Updated 6 months ago
- ☆37Updated this week
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆39Updated 3 months ago