dspinellis / ai-cli-lib
Add AI capabilities to any readline-enabled command-line program
☆135Updated 3 months ago
Related projects: ⓘ
- Local relational access to openly-available publication data sets☆81Updated 2 months ago
- Unit testing for SQL queries☆23Updated last month
- The Greek Legacy☆14Updated 4 years ago
- A Coarse-grained Dynamic Analysis Framework☆17Updated last year
- Search, check, and autofix your BibTex files!☆25Updated 5 months ago
- ☆47Updated this week
- GitHub Search: Platform used to crawl, store and present projects from GitHub, as well as any statistics related to them☆130Updated this week
- Dynamic analysis framework for Python☆56Updated last week
- Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University☆123Updated 6 months ago
- ACER is an AST-based Callgraph Generator Development Framework☆26Updated 3 months ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆227Updated this week
- Extract and combine multiple source code views using tree-sitter☆102Updated 2 months ago
- C Quality Metrics☆63Updated 2 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- This is Research Artifact for DevGPT Dataset☆34Updated last month
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆39Updated 7 months ago
- Tools and standards for conducting and evaluating research in software engineering☆289Updated 2 weeks ago
- 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 weeks ago
- Mir prevents dynamic library compromise in Node.js, by applying fine-grained RWX permissions.☆22Updated 3 weeks ago
- BugsInPy: Benchmarking Bugs in Python Projects☆77Updated 2 months ago
- This projects mines maven central and creates a global dependency graph☆30Updated 2 years ago
- Static Python call graph generator☆317Updated 9 months ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆60Updated 2 years ago
- Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multis…☆189Updated last month
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆33Updated 6 months ago
- Efficient and general syntactical decoding for Large Language Models☆177Updated this week
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆50Updated 9 months ago
- C code refactoring browser☆194Updated 2 weeks ago
- ☆15Updated this week
- The ISLa (Input Specification Language) language & solver.☆56Updated 2 months ago