dspinellis / ai-cli-lib
Add AI capabilities to any readline-enabled command-line program
☆155Updated last month
Related projects ⓘ
Alternatives and complementary repositories for ai-cli-lib
- Unit testing for SQL queries☆24Updated 3 months ago
- Tools and standards for conducting and evaluating research in software engineering☆294Updated 2 weeks ago
- A Coarse-grained Dynamic Analysis Framework☆18Updated 2 years ago
- The Greek Legacy☆14Updated 4 years ago
- Search, check, and autofix your BibTex files!☆25Updated 7 months ago
- DiSh: Dynamic Shell-Script Distribution☆25Updated this week
- Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University☆123Updated 8 months ago
- Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multis…☆206Updated 3 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆66Updated this week
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆14Updated 2 months ago
- ☆18Updated this week
- Dynamic detection of likely invariants☆215Updated last week
- Extract and combine multiple source code views using tree-sitter☆110Updated 5 months ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆239Updated this week
- Multilingual Code Co-Evolution Using Large Language Models☆12Updated 5 months ago
- GitHub Search: Platform used to crawl, store and present projects from GitHub, as well as any statistics related to them☆144Updated this week
- Major CS conference publication stats (including accepted and submitted) by year.☆112Updated 2 months ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 2 years ago
- ☆15Updated last week
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated 8 months ago
- ☆50Updated last month
- ☆35Updated 3 years ago
- ACER is an AST-based Callgraph Generator Development Framework☆28Updated 5 months ago
- Static Analysis meets Large Language Models☆46Updated 6 months ago
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆40Updated last year
- Hardware Performance Counters monitoring agent for containers.☆14Updated this week
- Automated Code Repair suite powered by ESBMC and LLMs.☆27Updated last week
- ☆31Updated last week
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆43Updated this week
- ☆26Updated 3 weeks ago