Alive2 Alternatives

Automatic verification of LLVM optimizations
Suggest Alternative
Alternatives To AliveToolkit/alive2
Project Name Stars Downloads Repos Using This Packages Using This Most Recent Commit Total Releases Latest Release Open Issues License Language
AliveToolkit/alive2 634 0 0 about 2 years ago 0 56 mit C++
Automatic verification of LLVM optimizations
banach-space/clang-tutor 590 0 0 over 2 years ago 0 11 unlicense C++
A collection of out-of-tree Clang plugins for teaching and learning
multi-os-engine/multi-os-engine 547 0 0 over 4 years ago 3 February 21, 2022 60 apache-2.0
Multi-OS Engine: Create iOS Apps in Java (or Kotlin ... etc.)
woboq/moc-ng 185 0 0 over 3 years ago 0 6 gpl-3.0 C++
A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.
rizsotto/Constantine 98 0 0 almost 5 years ago 0 6 gpl-3.0 C++
A plugin for Clang compiler
sinelaw/elfs-clang-plugins 86 0 0 over 7 years ago 0 2 mit C++
A collection of clang plugins for safer C programming
awruef/find-heartbleed 81 0 0 almost 12 years ago 0 0 C
clang checker to find heartbleed
amishne/llvm-ir-editor 49 0 0 about 12 years ago 0 31 Java
An LLVM IR Editor plugin for Eclipse
rhysd/vim-llvm 49 0 0 almost 3 years ago 0 0 other Vim Script
Vim filetype support for LLVM (including official files)
VernonVan/SameTypeClangPlugin 42 0 0 almost 8 years ago 0 0 mit C++
自定义检查规范的 Clang 插件
Alternatives To AliveToolkit/alive2
Select To Compare


Alternative Project Comparisons
Popular Llvm Projects
Popular Plugin Projects
Popular Compilers Categories
Related Searches
Get A Weekly Email With Trending Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2026 Awesome Open Source.  All rights reserved.