☆11Oct 26, 2026Updated last week
Alternatives and similar repositories for alive2
Users that are interested in alive2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Mar 17, 2026Updated 7 months ago
- An LLM-based fuzzing framework for C compilers testing.☆26Dec 14, 2025Updated 10 months ago
- Algorithms for byte-level language modelling☆25Sep 26, 2026Updated last month
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆18Oct 15, 2026Updated 2 weeks ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆22Mar 20, 2026Updated 7 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆84Aug 29, 2026Updated 2 months ago
- UB-aware interpreter for LLVM debugging☆50Aug 26, 2026Updated 2 months ago
- Extending C++ to support Program Verification using SMT solvers☆31Updated this week
- A very lightweight shader that keeps the vanilla style but addresses its shortcomings☆30Aug 4, 2026Updated 3 months ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆48Sep 25, 2026Updated last month
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆138Mar 25, 2026Updated 7 months ago
- ☆14Updated this week
- CMSGen, a fast weighted uniform-like sampler☆12Nov 26, 2025Updated 11 months ago
- DirectX implementation on Metal☆21Updated this 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.
- ☆22Oct 28, 2026Updated last week
- ☆12Oct 24, 2024Updated 2 years ago
- Binary signature scanner in Rust.☆10May 2, 2025Updated last year
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 7 years ago
- Fast binary cross-reference extractor for ELF, Mach-O, PE, and dyld shared caches☆17Sep 30, 2026Updated last month
- Constrained Decoding of Diffusion LLMs with Context-Free Grammars.☆58Oct 20, 2026Updated 2 weeks ago
- A formally-verified compiler IR☆10May 5, 2026Updated 5 months ago
- a hobby operating system written in C☆10Mar 10, 2011Updated 15 years ago
- Floating Point Semantics Mechanization for Lean☆26Jun 18, 2026Updated 4 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.
- ☆12Jul 31, 2017Updated 9 years ago
- Process active symbol dumper for advanced shellcode analysis☆13Apr 5, 2026Updated 6 months ago
- Small library coming from a personal student study on different SHA algorithms.☆13Sep 22, 2020Updated 6 years ago
- Fast SIMD-accelerated memory scanner for Frida — in-process and cross-process (PID).☆16May 24, 2026Updated 5 months ago
- A lightweight Linux memory monitoring tool. Watch and detect changes in specified memory locations with precision and ease.☆13Sep 5, 2025Updated last year
- Random program generation based on semantic reification (PLDI'26)☆25Oct 7, 2026Updated 3 weeks ago
- libpartial☆12Apr 4, 2024Updated 2 years ago
- Playstation 3 .PRX .SPRX Obfuscation CEX/DEX/HEN☆16Oct 24, 2023Updated 3 years ago
- A minimal example for real-time shadows in Minecraft for Java. (Iris or Optifine)☆36Feb 24, 2024Updated 2 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.
- A CFFI-based library for accessing the Objective-C runtime☆13Oct 23, 2016Updated 10 years ago
- ☆36Apr 26, 2023Updated 3 years ago
- ☆13Updated this week
- ☆10Oct 30, 2024Updated 2 years ago
- ☆21Nov 10, 2019Updated 6 years ago
- ☆14Mar 21, 2026Updated 7 months ago
- Native libs common☆13Oct 27, 2026Updated last week