agda-categories

Public

A new Categories library for Agda

MIT License

Updated Jan 28, 2026

Created Jun 1, 2019

397 stars

74 forks

21 watchers

65 open issues

Languages

Codebase composition by bytes

Top Contributors

888 commits

424 commits

341 commits

131 commits

129 commits

93 commits

61 commits

58 commits

55 commits

36 commits

Recent Stargazers

over 6 years ago

over 6 years ago

over 6 years ago

over 6 years ago

over 6 years ago

over 6 years ago

over 6 years ago

over 6 years ago

over 6 years ago

over 6 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)60,933

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 13Closed Issues 87

Open Issues100

Activity Peak

Most recent day with highest activityFeb 5, 2026 • 4 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

agda-categories