Static Analysis meets Large Language Models
☆56May 6, 2024Updated 2 years ago
Alternatives and similar repositories for autofix
Users that are interested in autofix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Jan 30, 2025Updated last year
- This is the starter code for an example of storing a github repo in a vector store and chatting with it as a knowledge base☆17Jun 22, 2023Updated 3 years ago
- ☆14Dec 10, 2021Updated 4 years ago
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆24May 11, 2021Updated 5 years ago
- A reimplementation of LastPyMile: A Python-based library to Identify the differences between build artifacts of PyPI packages and the res…☆15Jan 8, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆165May 24, 2024Updated 2 years ago
- MODIT: On Multi-Modal Learning of Editing Source Code.☆20Apr 24, 2021Updated 5 years ago
- InstructCoder: Instruction Tuning Large Language Models for Code Editing | Oral ACL-2024 srw☆66Oct 4, 2024Updated last year
- Analyzer for Uniswap v4 Hooks☆12Mar 4, 2024Updated 2 years ago
- ☆25Oct 13, 2020Updated 5 years ago
- ☆28Sep 21, 2022Updated 3 years ago
- CodeDB 是一个专为软件开发本身开发的代码数据库，可以用于架构治理、代码生成等领域。基于架构孪生的理念，内建架构适度度函数、代码设计查询和存储 DSL、依赖分析引擎、机器学习算法等。☆44Dec 9, 2023Updated 2 years ago
- A list of academic papers related to Docker containers & Docker Hub☆28Apr 16, 2026Updated 5 months ago
- Program Analysis for LLVM☆38Mar 25, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Example Next.js application for App Runner with DynamoDB using Copilot CLI☆13Jun 30, 2026Updated 2 months ago
- A project to take an audio file and separate it into speakers and play it with avatars and save the recording as an mp4 for sharing on so…☆13Nov 6, 2024Updated last year
- WIP - Aptos / Movement / Sui Module Fuzzer☆15Dec 2, 2025Updated 9 months ago
- Brainwave is a state-of-the-art neural decoder that transforms electroencephalogram (EEG) and brain signals into multimodal outputs inclu…☆14Oct 6, 2025Updated 11 months ago
- https://codex-infinity.com AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods☆25Aug 24, 2026Updated 3 weeks ago
- 🚀 A blazingly fast, modern chat interface built with Rust/WASM and Leptos, featuring local AI model execution via WebLLM. Privacy-first …☆15Aug 24, 2025Updated last year
- The supplementary material for the paper "Fine-tuning Large Language Models to Improve Accuracy and Comprehensibility of Automated Code R…☆16Aug 12, 2024Updated 2 years ago
- ☆26Dec 16, 2023Updated 2 years ago
- future-proof vulnerability detection benchmark, based on CVEs in open-source repos☆73Sep 11, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Code accompanying the paper "R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents"☆24Jul 8, 2026Updated 2 months ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆30Jul 24, 2023Updated 3 years ago
- Everything related to Bookalope and its REST API.☆16May 16, 2021Updated 5 years ago
- This application guides you through the development of a language model that classifies clinical documents according to their medical spe…☆12Aug 12, 2024Updated 2 years ago
- Machine learning for code reviews!☆18Sep 1, 2026Updated 2 weeks ago
- A lisp that compiles to rubinius bytecode☆13Oct 14, 2016Updated 9 years ago
- Just a Streamlit app to generate scientific review with Deep Learning, Neuronal Network and AI☆15Sep 18, 2025Updated last year
- Walk paths and run things☆18Jul 22, 2024Updated 2 years ago
- QLLM: A powerful CLI for seamless interaction with multiple Large Language Models. Simplify AI workflows, streamline development, and unl…☆35Apr 11, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis☆28Feb 26, 2022Updated 4 years ago
- 🧟 The hackathon where 150 teens built fun tech to survive the zombie apocalypse.☆14Jun 30, 2026Updated 2 months ago
- Query your typescript codebase using GPT☆12May 29, 2023Updated 3 years ago
- Web queries dataset for code search☆32Jun 3, 2023Updated 3 years ago
- Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.☆14Apr 9, 2021Updated 5 years ago
- An ASGI function for proxying to a backend over HTTP☆23Jul 14, 2025Updated last year
- ☆21Apr 29, 2024Updated 2 years ago