GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
AliveToolkit
/
alive2
Public
Automatic verification of LLVM optimizations
MIT License
Updated Feb 5, 2026
Created Jun 9, 2018
View on GitHub
1,045
stars
135
forks
23
watchers
65
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
NU
nunoplopes
2055 commits
AQ
aqjune
277 commits
RE
regehr
116 commits
LE
LebedevRI
27 commits
ZH
zhengyang92
23 commits
DT
dtcxzyw
17 commits
PR
pranavk
14 commits
CA
can-leh-emmtrix
10 commits
FL
FlashSheridan
10 commits
DE
dependabot[bot]
7 commits
Recent Stargazers
RE
regehr
over 7 years ago
DT
dtzWill
over 7 years ago
RU
runelabs
over 7 years ago
ZH
zhengyang92
over 7 years ago
MA
MattPD
over 7 years ago
LE
LebedevRI
about 7 years ago
PR
pranavk
about 7 years ago
DE
denji
about 7 years ago
EK
ekiwi
about 7 years ago
SC
scottp101
almost 7 years ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
6,551
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 17
Closed Issues 83
Open Issues
100
Activity Peak
Most recent day with highest activity
Feb 5, 2026 • 2 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.