GitHub Analytics

GitHub Analytics

flyspeck

Public

The formal proof of the Kepler conjecture

MIT License

Updated Jan 14, 2026

Created Oct 7, 2015

172 stars

6 forks

8 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

49 commits

34 commits

1 commits

Recent Stargazers

almost 10 years ago

almost 10 years ago

PA pathologicalhandwaving

almost 10 years ago

almost 10 years ago

over 9 years ago

over 9 years ago

over 9 years ago

over 9 years ago

over 9 years ago

over 9 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)178,897

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 5

Open Issues5

Activity Peak

Most recent day with highest activityJan 14, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.