nlab

Public

Source code for the nLab

Updated Feb 3, 2026

Created Sep 6, 2014

199 stars

22 forks

7 watchers

10 open issues

Languages

Codebase composition by bytes

Top Contributors

123 commits

76 commits

37 commits

28 commits

3 commits

DA DavidMichaelRoberts

1 commits

JA jakebian

1 commits

JR jrblevin

1 commits

Recent Stargazers

about 11 years ago

over 10 years ago

over 10 years ago

about 8 years ago

almost 8 years ago

almost 8 years ago

over 7 years ago

over 7 years ago

over 7 years ago

over 7 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)20,502

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 10Closed Issues 30

Open Issues40

Activity Peak

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

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

nlab