breandan / cstk
🔍 Code Search Tools & Experiments
☆11Updated this week
Related projects ⓘ
Alternatives and complementary repositories for cstk
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- ☆10Updated 4 years ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated 7 months ago
- ☆18Updated 2 years ago
- Mining tool and large-scale datasets of single statement bug fixes in Python☆15Updated 11 months ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 4 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 2 years ago
- ☆11Updated 3 years ago
- ☆20Updated 2 years ago
- A Systematic Literature Review of Deep Learning in Software Engineering☆19Updated 2 months ago
- General-purpose program synthesiser☆34Updated 3 weeks ago
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Updated 2 years ago
- A benchmark for evaluating embeddings of identifiers in source code.☆22Updated 3 years ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 5 years ago
- ☆18Updated 2 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
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆13Updated 2 weeks ago
- Flow graphs for Python☆25Updated 2 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 2 years ago
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Updated 4 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated 2 months ago
- Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.☆22Updated 2 years ago
- ☆43Updated last year
- Code for enumeration from a CFG☆18Updated last year
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 5 years ago
- C# Data Extraction for "Learning to Represent Edits"☆27Updated 6 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated last year
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆14Updated 2 years ago
- Code for the paper "A Structural Model for Contextual Code Changes"☆28Updated last year
- ☆16Updated last month