Alive2
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Alive2 | 634 | 3 months ago | 56 | mit | C++ | |||||
| Automatic verification of LLVM optimizations | ||||||||||
| Clang Tutor | 590 | 5 months ago | 11 | unlicense | C++ | |||||
| A collection of out-of-tree Clang plugins for teaching and learning | ||||||||||
| Multi Os Engine | 547 | 3 years ago | 3 | February 21, 2022 | 60 | apache-2.0 | ||||
| Multi-OS Engine: Create iOS Apps in Java (or Kotlin ... etc.) | ||||||||||
| Moc Ng | 185 | 2 years ago | 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. | ||||||||||
| Constantine | 98 | 3 years ago | 6 | gpl-3.0 | C++ | |||||
| A plugin for Clang compiler | ||||||||||
| Elfs Clang Plugins | 86 | 5 years ago | 2 | mit | C++ | |||||
| A collection of clang plugins for safer C programming | ||||||||||
| Find Heartbleed | 81 | 10 years ago | C | |||||||
| clang checker to find heartbleed | ||||||||||
| Vim Llvm | 49 | a year ago | other | Vim Script | ||||||
| Vim filetype support for LLVM (including official files) | ||||||||||
| Llvm Ir Editor | 49 | 10 years ago | 31 | Java | ||||||
| An LLVM IR Editor plugin for Eclipse | ||||||||||
| Sametypeclangplugin | 42 | 6 years ago | mit | C++ | ||||||
| 自定义检查规范的 Clang 插件 | ||||||||||
Alternatives To Alive2Select To Compare
Alternative Project Comparisons
Popular Llvm Projects
Popular Plugin Projects
Popular Compilers Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Plugin
Validation
Translation
Llvm
Clang
Parallelism
Smt
Symbolic Execution
Model Checking