GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
opencompl
/
veir
Public
Verified Intermediate Representation
Other
Updated Feb 6, 2026
Created Dec 8, 2025
View on GitHub
23
stars
2
forks
0
watchers
15
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
MA
math-fehr
84 commits
TO
tobiasgrosser
43 commits
IN
ineol
18 commits
AX
axelcool1234
1 commits
GE
georgerennie
1 commits
Recent Stargazers
DH
dhsorens
about 2 months ago
CH
chung-thai-nguyen
about 2 months ago
SU
sun-jacobi
about 2 months ago
LI
linsyking
about 2 months ago
EQ
Equilibris
about 2 months ago
SU
sueszli
about 2 months ago
ZH
zhansong01
about 2 months ago
MA
math-fehr
about 1 month ago
AB
abhamra
about 1 month ago
MA
Maokami
about 1 month ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
426
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 10
Closed Issues 90
Open Issues
100
Activity Peak
Most recent day with highest activity
Feb 7, 2026 • 9 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.