erdosproblems

Public

A community database for the problems on the erdosproblems.com site

Apache License 2.0

Updated Feb 1, 2026

Created Aug 31, 2025

462 stars

57 forks

9 watchers

6 open issues

Languages

Codebase composition by bytes

Top Contributors

GI github-actions[bot]

1016 commits

593 commits

28 commits

25 commits

18 commits

17 commits

16 commits

16 commits

16 commits

10 commits

Recent Stargazers

5 months ago

5 months ago

5 months ago

5 months ago

5 months ago

5 months ago

5 months ago

5 months ago

5 months ago

5 months ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)5,723

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 6Closed Issues 94

Open Issues100

Activity Peak

Most recent day with highest activityFeb 1, 2026 • 15 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

erdosproblems