GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
spl
/
basic-category-theory
Public
Source for Basic Category Theory by Tom Leinster
Updated Feb 3, 2026
Created May 12, 2017
View on GitHub
9
stars
0
forks
2
watchers
0
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
SP
spl
2 commits
Recent Stargazers
TR
tri2820
over 5 years ago
AR
arademaker
over 5 years ago
RI
rintcius
over 4 years ago
27
2788
over 3 years ago
OC
oceanumeric
about 3 years ago
LI
lichuang
almost 2 years ago
RR
RRs52s2s
about 1 year ago
LU
Lumilesto
5 months ago
A-
a-peirogon
3 days ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
1,046
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 0
Closed Issues 0
Open Issues
0
Activity Peak
Most recent day with highest activity
Feb 3, 2026 • 1 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.