breandan / cstkLinks
đ Code Search Tools & Experiments
â12Updated last week
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
- Difflog: Synthesizing Datalog Programs using Numerical Relaxationâ12Updated 6 years ago
- AST factorization: transformation AST of Kotlin source code to a vectorâ11Updated 6 years ago
- â21Updated 3 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.â10Updated last year
- đ˛ A Kotlin DSL for probabilistic programming.â12Updated 3 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method namesâ10Updated 6 years ago
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of âŚâ48Updated last year
- â20Updated 3 years 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
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. WâŚâ87Updated 3 years ago
- Flow graphs for Pythonâ27Updated 3 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coqâ14Updated 3 years ago
- Code accompanying the paper "R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents"â19Updated 2 weeks ago
- Code for enumeration from a CFGâ20Updated 2 years ago
- Probabilistic Type Inference using Graph Neural Networksâ51Updated 3 years ago
- â44Updated 2 years ago
- â15Updated 4 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"â12Updated 4 years ago
- C# Data Extraction for "Learning to Represent Edits"â27Updated 7 years ago
- âď¸ Syntax correction in context-free languages.â23Updated last week
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/fâŚâ22Updated 5 years ago
- Code for paper "Lancer: Your Code Tell Me What You Need"â11Updated 3 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
- MetaDL: Datalog analyzing Datalog, Java or any language of your choiceâ16Updated 6 months ago
- First-order logic theorem prover supporting unification with approximate vector similarityâ13Updated 2 years ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning settingâ32Updated 2 years ago