GitHub Analytics

GitHub Analytics

idris2-pack-db

Public

No description provided.

BSD 3-Clause "New" or "Revised" License

Updated Feb 6, 2026

Created Apr 28, 2022

30 stars

26 forks

2 watchers

2 open issues

Languages

Codebase composition by bytes

No language data available

Top Contributors

GI github-actions[bot]

1338 commits

ST stefan-hoeck

173 commits

19 commits

JO joelberkeley

9 commits

8 commits

RU running-grass

8 commits

6 commits

6 commits

6 commits

MA Matthew-Mosior

5 commits

Recent Stargazers

almost 4 years ago

almost 4 years ago

almost 4 years ago

over 3 years ago

over 3 years ago

AR aripiprazole

over 3 years ago

over 3 years ago

over 3 years ago

over 3 years ago

over 3 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)170,174

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 1Closed Issues 99

Open Issues100

Activity Peak

Most recent day with highest activityFeb 6, 2026 • 2 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.