Automated Code Repair suite powered by ESBMC and LLMs. USE ENTOLI
☆43Oct 29, 2026Updated last week
Alternatives and similar repositories for esbmc-ai
Users that are interested in esbmc-ai are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 7 months ago
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆23May 6, 2021Updated 5 years ago
- BehaVerify: A Formal Verification Tool for Behavior Trees☆30Oct 23, 2026Updated 2 weeks ago
- AI-powered security code analysis and vulnerability scanner built with modern AI models and OWASP best practices.☆30Jul 6, 2025Updated last year
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Virtual Linux soundcard driver☆31May 6, 2024Updated 2 years ago
- ☆23Mar 12, 2026Updated 7 months ago
- New MLIR dialect, attributes, and transformations for generating host driver code for AXI-based linalg accelerators.☆11Jan 8, 2024Updated 2 years ago
- Bootstrapping a C compiler from scratch☆17Jul 3, 2023Updated 3 years ago
- Proof-of-concept implementation for the paper "Reviving Meltdown 3a" (ESORICS 2023)☆17Sep 25, 2023Updated 3 years ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 7 years ago
- generating formally verified C code with LLMs (thesis Merlijn Sevenhuijsen) http://urn.kb.se/resolve?urn=urnsediva-356745☆14Jun 7, 2026Updated 5 months ago
- Program to scan for malicious FPGA designs.☆17Mar 20, 2021Updated 5 years ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Korn - C Verification with Loop Invariants and Summaries☆12Oct 26, 2026Updated 2 weeks ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆41Apr 9, 2023Updated 3 years ago
- 模仿美团App☆13Mar 15, 2016Updated 10 years ago
- scientific dataset of smart contract exploits see paper http://arxiv.org/pdf/2501.04600☆14Oct 26, 2025Updated last year
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆28Nov 3, 2020Updated 6 years ago
- ☆14May 14, 2024Updated 2 years ago
- Make RA2 matches look cooler!☆12Mar 26, 2025Updated last year
- High-throughput, robust native DuckDB extension for batched and streaming TypeSafe/Jev classification, scoring, and semantic predicates f…☆14Oct 21, 2026Updated 2 weeks ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆295Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- GraphChi's C++ version. Big Data - small machine.☆17Nov 29, 2020Updated 5 years ago
- ☆24Apr 17, 2026Updated 6 months ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated 2 years ago
- ☆22Jan 31, 2026Updated 9 months ago
- A Julia package for BDD and OBDD☆12Oct 27, 2020Updated 6 years ago
- C++ patricia trie☆10Mar 19, 2024Updated 2 years ago
- Data for LLM4Vuln☆14Jan 28, 2024Updated 2 years ago
- ☆10Mar 24, 2022Updated 4 years ago
- ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis☆15Jul 22, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆17Jan 13, 2022Updated 4 years ago
- Reference implementation of TGAT: Inductive Representation Learning on Temporal Graphs (ICLR 2020)☆18Jun 23, 2021Updated 5 years ago
- A template for developing custom FIRRTL transforms☆10Jan 30, 2020Updated 6 years ago
- Subtractive VST synth☆16Jun 14, 2018Updated 8 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 6 years ago
- A swarm of intelligent agents, in a shared environment, works together in an organized and purposeful manner to build results (discover v…☆28Apr 10, 2026Updated 7 months ago
- Map2Check: Finding Software Vulnerabilities☆31Updated this week
Are these results useful?