breandan / cstkLinks
🔍 Code Search Tools & Experiments
☆12Updated last month
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
- ☆10Updated 5 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated last year
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 6 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- ☆20Updated 3 years ago
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆50Updated last year
- ☆21Updated 3 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- A benchmark for evaluating embeddings of identifiers in source code.☆22Updated 4 years ago
- Flow graphs for Python☆27Updated 3 years ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated last year
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last month
- ☆11Updated 4 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
- C# Data Extraction for "Learning to Represent Edits"☆27Updated 7 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- ☆12Updated 10 months ago
- ☆12Updated last year
- Probabilistic Type Inference using Graph Neural Networks☆50Updated 3 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated last year
- HOUDINI: Lifelong Learning as Program Synthesis☆49Updated 10 months ago
- Code for enumeration from a CFG☆20Updated 2 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Updated 11 months ago
- ☆11Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Official repository for PraPR source code☆14Updated 4 years ago
- Code for the paper: https://arxiv.org/pdf/2309.06979.pdf☆21Updated last year
- The main repository integrating the LaTeX beamer-based slides☆30Updated 9 months ago