breandan / cstk
🔍 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
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- ☆10Updated 4 years ago
- ✂️ Syntax correction in context-free and weakly context-sensitive languages.☆22Updated this week
- ☆18Updated 2 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated 4 months ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated 8 months ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated last year
- General-purpose program synthesiser☆37Updated 2 months ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 5 years ago
- Heavyweight Python dynamic analysis framework☆13Updated 9 months ago
- ☆20Updated 2 years ago
- Clover: Closed-Loop Verifiable Code Generation☆29Updated 7 months ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Dyna built on R-exprs (First Prototype)☆13Updated 2 years ago
- ☆43Updated last year
- ☆18Updated 3 years ago
- ☆11Updated 3 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
- Regular Expressions and Lexing with DFAs☆9Updated 8 months ago
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆33Updated 5 months ago
- Code associated to papers on superposition (in ML interpretability)☆26Updated 2 years ago
- A Java program synthesizer.☆21Updated 5 years ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- Code for enumeration from a CFG☆18Updated last year
- RASP-L in Haskell for my fellow rascals☆18Updated last year
- Prototype for a Category Theory-based GNN Library☆13Updated 2 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆14Updated 2 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated last week
- Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.☆22Updated 3 years ago