breandan / cstkLinks
🔍 Code Search Tools & Experiments
☆12Updated this 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 last year
- ☆10Updated 4 years ago
- ✂️ Syntax correction in context-free languages.☆22Updated this week
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 5 years ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated last year
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆20Updated this week
- ☆43Updated 2 years ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- ☆20Updated 3 years ago
- ☆19Updated 2 years ago
- A Systematic Literature Review of Deep Learning in Software Engineering☆19Updated 9 months ago
- Discovering Mathematical Objects of Interest - A Study of Mathematical Notations☆10Updated 5 years ago
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- Code for enumeration from a CFG☆18Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆14Updated last year
- A benchmark for evaluating embeddings of identifiers in source code.☆22Updated 3 years ago
- Flow graphs for Python☆26Updated 2 years ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 5 years ago
- Heavyweight Python dynamic analysis framework☆13Updated last year
- General-purpose program synthesiser☆45Updated 8 months ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated 9 months ago
- C# Data Extraction for "Learning to Represent Edits"☆26Updated 6 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- ☆12Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆35Updated last month
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- 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