GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
runtimeverification
/
deposit-contract-verification
Public
No description provided.
Updated Jan 14, 2026
Created Jun 5, 2020
View on GitHub
39
stars
25
forks
17
watchers
4
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
DA
daejunpark
29 commits
RV
rv-jenkins
11 commits
EH
ehildenb
1 commits
Recent Stargazers
MI
minaminao
over 5 years ago
SL
SlinkyPotato
over 5 years ago
MA
machinemob
over 5 years ago
PH
PhE
about 5 years ago
1B
1Blackdiamondsc
about 5 years ago
UN
unparallelparadox
about 5 years ago
ME
melyalex
about 5 years ago
VY
vyorkin
about 5 years ago
PA
PaulinaParangerHr
almost 5 years ago
MA
MarekSykokora
almost 5 years ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
1,186
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 4
Closed Issues 20
Open Issues
24
Activity Peak
Most recent day with highest activity
Jan 15, 2026 • 2 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.