Automated Code Repair suite powered by ESBMC and LLMs.
☆41Feb 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 4 months ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆15May 14, 2024Updated last year
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Program to scan for malicious FPGA designs.☆17Mar 20, 2021Updated 5 years ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 7 years ago
- ☆22Mar 12, 2026Updated last month
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆41Apr 9, 2023Updated 3 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
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Sega Saturn programming library☆11Jan 23, 2013Updated 13 years ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆28Nov 3, 2020Updated 5 years ago
- A JavaFX clone of the classic Tetris game☆14Nov 14, 2025Updated 5 months ago
- A domain-specific language for prompt engineering☆30Feb 19, 2025Updated last year
- Unified Maude model-checking tool☆13Apr 9, 2026Updated last week
- Sources of the EuroProofNet web site.☆13Apr 8, 2026Updated last week
- High-performance and modular quantum simulator in Java☆17Jun 12, 2023Updated 2 years ago
- Utility commands for Maestro operating system☆14Mar 16, 2026Updated last month
- VibeGit, Track Interaction with Diffs in AI Coding☆23Oct 12, 2025Updated 6 months 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.
- Welcome to the FEDERATE Building Block (BB) Repository! This repository contains structured descriptions of Building Blocks (BBs) that a…☆16Apr 1, 2026Updated 2 weeks ago
- This is the source code for [SLADE: Detecting Dynamic Anomalies in Edge Streams without Labels via Self-Supervised Learning]☆16Jul 17, 2024Updated last year
- ☆14May 14, 2024Updated last year
- Data for LLM4Vuln☆14Jan 28, 2024Updated 2 years ago
- MSIEVE: A Library for Factoring Large Integers☆15Apr 7, 2023Updated 3 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆18Mar 29, 2021Updated 5 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- The SEGA Saturn Graphics Library for GCC ELF☆13Jun 19, 2014Updated 11 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Jun 8, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- ☆10Mar 24, 2022Updated 4 years ago
- An extension to Llama2.java implementation accelerated with GPUs, using TornadoVM☆26Aug 1, 2024Updated last year
- Map2Check: Finding Software Vulnerabilities☆30Nov 13, 2020Updated 5 years ago
- A small 3D game engine geared towards developing retro games.☆14Oct 8, 2024Updated last year
- TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualiz…☆10Apr 20, 2021Updated 4 years ago
- 🎥 A Java implementation of Kinect Fusion running on Tornado VM.☆27Dec 19, 2025Updated 3 months ago