Automated Code Repair suite powered by ESBMC and LLMs.
☆39Feb 20, 2026Updated 2 weeks ago
Alternatives and similar repositories for esbmc-ai
Users that are interested in esbmc-ai are comparing it to the libraries listed below
Sorting:
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- ☆44Jan 6, 2025Updated last year
- Bootstrapping a C compiler from scratch☆13Jul 3, 2023Updated 2 years ago
- Virtual Linux soundcard driver☆29May 6, 2024Updated last year
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆15May 14, 2024Updated last year
- Data for LLM4Vuln☆14Jan 28, 2024Updated 2 years ago
- BehaVerify: A Formal Verification Tool for Behavior Trees☆21Dec 5, 2025Updated 3 months ago
- A domain-specific language for prompt engineering☆30Feb 19, 2025Updated last year
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆27Nov 3, 2020Updated 5 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 5 years ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- ☆23Dec 30, 2025Updated 2 months ago
- A red-black tree implementation☆42Oct 15, 2025Updated 4 months ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆39Apr 9, 2023Updated 2 years ago
- An e-commerce store built with react, redux-toolkit and Material UI☆11Feb 20, 2023Updated 3 years ago
- vscode-drawio增强版，提供代码跳转功能☆10Feb 20, 2025Updated last year
- View and plot 1 or 2-port S-parameter (Touchstone) files☆12Jun 27, 2025Updated 8 months ago
- Sources of the EuroProofNet web site.☆13Feb 28, 2026Updated last week
- A Grand Sumo prediction game☆10Updated this week
- Intelligent Self-driving System empowering Physical Agents (ISSPA)☆13Dec 23, 2024Updated last year
- ☆10Mar 24, 2022Updated 3 years ago
- A complete Material Design 3 implementation in pure C☆30Mar 1, 2026Updated last week
- Simulation of some common communication system structures☆11Feb 27, 2023Updated 3 years ago
- A MVP build of a Restaurant kitchen display system.☆13Oct 8, 2023Updated 2 years ago
- CartoonX is a saliency map method for image classifiers operating in the wavelet/shearlet domain.☆10Feb 23, 2026Updated last week
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆11Sep 30, 2024Updated last year
- A tool for detecting Spectre vulnerabilities through fuzzing☆46Aug 25, 2021Updated 4 years ago
- For our ISSTA23 paper "How Effective are Neural Networks for Fixing Security Vulnerabilities?" by Yi Wu, Nan Jiang, Hung Viet Pham, Thiba…☆41Nov 13, 2023Updated 2 years ago
- ☆13Nov 28, 2025Updated 3 months ago
- SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that do…☆33Dec 11, 2025Updated 2 months ago
- ☆22Oct 30, 2024Updated last year
- Codes for paper : "A Stroke-based RNN for Writer-Independent Online Signature Verification"☆12May 6, 2019Updated 6 years ago
- Minimum viable code for the Decodable Information Bottleneck paper. Pytorch Implementation.☆11Oct 20, 2020Updated 5 years ago
- [COLING25] CodeJudge Eval: Can Large Language Models be Good Judges in Code Understanding?☆12Dec 3, 2024Updated last year
- ☆10Apr 21, 2022Updated 3 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆54Jul 18, 2024Updated last year
- Image recommendation service with image on the input that outputs most similar images from database.☆14Sep 19, 2020Updated 5 years ago