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
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 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 5 years ago
- ☆21Updated 3 years ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated last year
- ☆43Updated 2 years ago
- General-purpose program synthesiser☆47Updated 10 months ago
- ☆20Updated 3 years ago
- C# Data Extraction for "Learning to Represent Edits"☆26Updated 6 years ago
- A benchmark for evaluating embeddings of identifiers in source code.☆22Updated 4 years ago
- Tree-based Autofolding Software Summarization Algorithm☆43Updated 9 years ago
- Flow graphs for Python☆26Updated 2 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Updated last year
- Code for enumeration from a CFG☆18Updated last year
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 3 years ago
- ✂️ Syntax correction in context-free languages.☆23Updated this week
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆31Updated last year
- Visual graph rewriting platform☆10Updated 3 months ago
- Probabilistic Type Inference using Graph Neural Networks☆51Updated 2 years ago
- ☆11Updated 4 years ago
- Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…☆56Updated last year
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆70Updated 3 months ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- MetaDL: Datalog analyzing Datalog, Java or any language of your choice☆16Updated 2 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 8 months ago
- Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.☆22Updated 3 years ago
- ☆16Updated 2 years ago