GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
awslabs
/
AutoCorrode
Public
Verification infrastructure for the Isabelle/HOL interactive proof assistant
MIT License
Updated Feb 9, 2026
Created Mar 31, 2025
View on GitHub
62
stars
10
forks
6
watchers
17
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
HA
hanno-becker
43 commits
DO
dominic-mulligan-aws
12 commits
IK
ike-mulder-aws
12 commits
DO
DominicPM
4 commits
AM
amazon-auto
1 commits
NC
nchong-at-aws
1 commits
Recent Stargazers
DO
dominic-mulligan-aws
10 months ago
HA
hanno-becker
10 months ago
NC
nchong-at-aws
10 months ago
KA
kammitama5
10 months ago
CH
chiaki-i
10 months ago
DI
dimitris-m
10 months ago
WS
wsxarcher
10 months ago
CI
cirosantilli
10 months ago
IN
innoobijr
10 months ago
YI
YiranDuan721
10 months ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
677
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 17
Closed Issues 61
Open Issues
78
Activity Peak
Most recent day with highest activity
Feb 9, 2026 • 2 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.