# AliveToolkit/alive2

<https://repo.masters-masters.com/en/repos/AliveToolkit/alive2>

[Home](https://repo.masters-masters.com/en) › [AliveToolkit](https://repo.masters-masters.com/en/owners/AliveToolkit) › [alive2](https://repo.masters-masters.com/en/repos/AliveToolkit/alive2)

AliveToolkit/alive2 has 1,199 stars on GitHub. Its RepoMasters card: Beta tier. Automatic verification of LLVM optimizations Language: C++.

| Field | Value |
| --- | --- |
| Owner | [AliveToolkit](https://repo.masters-masters.com/en/owners/AliveToolkit) |
| Stars | 1,199 |
| Forks | 161 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | MIT |
| Created | 2018 |
| Topics | llvm, verification, translation-validation, automatic-verification, smt, llvm-ir, symbolic-execution, model-checking |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [AliveToolkit/alive2](https://github.com/AliveToolkit/alive2) |

## Repository

Automatic verification of LLVM optimizations

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## Nearby in C++

- [Siv3D/OpenSiv3D · ★ 1,199 · C++ · Beta](https://repo.masters-masters.com/en/repos/Siv3D/OpenSiv3D)
- [facebookresearch/House3D · ★ 1,199 · C++ · Beta](https://repo.masters-masters.com/en/repos/facebookresearch/House3D)
- [enazoe/yolo-tensorrt · ★ 1,199 · C++ · Beta](https://repo.masters-masters.com/en/repos/enazoe/yolo-tensorrt)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.