breandan / cstkLinks
🔍 Code Search Tools & Experiments
☆12Updated 3 weeks ago
Alternatives and similar repositories for cstk
Users that are interested in cstk are comparing it to the libraries listed below
Sorting:
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated 2 years ago
- ☆20Updated 3 years ago
- ☆10Updated 5 years ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 5 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated 11 months ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- Probabilistic Type Inference using Graph Neural Networks☆50Updated 2 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 5 years ago
- ☆20Updated 3 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 3 years ago
- General-purpose program synthesiser☆47Updated 10 months ago
- A benchmark for evaluating embeddings of identifiers in source code.☆22Updated 4 years ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated last year
- Code for enumeration from a CFG☆18Updated last year
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 7 months ago
- Flow graphs for Python☆26Updated 2 years ago
- ☆11Updated 4 years ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated last year
- C# Data Extraction for "Learning to Represent Edits"☆26Updated 6 years ago
- A plugin for code generation in PyCharm/IntelliJ using tranX☆36Updated 3 years ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆61Updated 2 years ago
- egraphs-good website☆17Updated 10 months 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
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Updated 3 years ago
- ☆15Updated 3 years ago
- ☆43Updated 2 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Tree-based Autofolding Software Summarization Algorithm☆42Updated 9 years ago
- ☆10Updated 7 months ago
- Web queries dataset for code search☆32Updated 2 years ago