Automated Code Repair suite powered by ESBMC and LLMs.
☆40Feb 20, 2026Updated last month
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:
- ☆44Jan 6, 2025Updated last year
- BehaVerify: A Formal Verification Tool for Behavior Trees☆23Dec 5, 2025Updated 3 months ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆456Updated this week
- Bootstrapping a C compiler from scratch☆13Jul 3, 2023Updated 2 years ago
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆13Oct 31, 2025Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Virtual Linux soundcard driver☆29May 6, 2024Updated last year
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆22May 6, 2021Updated 4 years ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 7 years ago
- ☆20Mar 12, 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 2 years ago
- A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM☆12Dec 18, 2025Updated 3 months ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- ☆10May 24, 2023Updated 2 years ago
- A simulation platform for managed applications based on Maxine VM and ZSim☆11Jun 19, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- A JavaFX clone of the classic Tetris game☆14Nov 14, 2025Updated 4 months ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- Sources of the EuroProofNet web site.☆13Mar 19, 2026Updated last week
- A domain-specific language for prompt engineering☆30Feb 19, 2025Updated last year
- ☆17Jan 13, 2022Updated 4 years ago
- VibeGit, Track Interaction with Diffs in AI Coding☆23Oct 12, 2025Updated 5 months ago
- Welcome to the FEDERATE Building Block (BB) Repository! This repository contains structured descriptions of Building Blocks (BBs) that a…☆15Mar 19, 2026Updated last week
- This is the source code for [SLADE: Detecting Dynamic Anomalies in Edge Streams without Labels via Self-Supervised Learning]☆16Jul 17, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆14May 14, 2024Updated last year
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- MSIEVE: A Library for Factoring Large Integers☆15Apr 7, 2023Updated 2 years ago
- Data for LLM4Vuln☆14Jan 28, 2024Updated 2 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 5 years ago
- A red-black tree implementation☆42Oct 15, 2025Updated 5 months ago
- A template for developing custom FIRRTL transforms☆10Jan 30, 2020Updated 6 years ago
- An extension to Llama2.java implementation accelerated with GPUs, using TornadoVM☆26Aug 1, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- ☆15Mar 15, 2026Updated last week
- Map2Check: Finding Software Vulnerabilities☆30Nov 13, 2020Updated 5 years ago
- Rust bindings for the Solidity compiler.☆28Mar 24, 2020Updated 6 years ago
- [S&P 2024] Understanding and Bridging the Gap Between Unsupervised Network Representation Learning and Security Analytics.☆18Apr 25, 2025Updated 11 months ago
- Decompiler of LLVM bitcode to C☆91Dec 4, 2025Updated 3 months ago
- 🎥 A Java implementation of Kinect Fusion running on Tornado VM.☆27Dec 19, 2025Updated 3 months ago