HoTT/book - GitHub Explorer | GitHub Explorer | Trending

Stars

2.1k

Forks

375

Watchers

2.1k

Open Issues

82

Repository Health Score

💛

71/100

Good

Overall repository health assessment

Score Breakdown

Activity

Active development - updated this week

30/30

100%

Recent Commits

Merge pull request #1192 from HoTT/dependabot/github_actions/actions/checkout-6

Mike Shulman•4 months ago

0bb33d2View on GitHub

Bump actions/checkout from 5 to 6

dependabot[bot]•4 months ago

db38ca3View on GitHub

Merge pull request #1191 from Bolpat/patch-1

Mike Shulman•7 months ago

a40a78cView on GitHub

Apply suggestion

Quirin F. Schroll•7 months ago

6cd394eView on GitHub

Remove big spacing

Quirin F. Schroll•7 months ago

9157e86View on GitHub

Merge pull request #1189 from HoTT/dependabot/github_actions/actions/checkout-5

Mike Shulman•7 months ago

79f6b7fView on GitHub

Bump actions/checkout from 4 to 5

dependabot[bot]•8 months ago

c6796c9View on GitHub

Merge pull request #1187 from danielzgtg/fix/ubuntu2504

Mike Shulman•8 months ago

c4e57d5View on GitHub

Merge pull request #1188 from danielzgtg/fix/unspaceEmDashes

Mike Shulman•8 months ago

c32edf9View on GitHub

Unify em dashes to spaced version

Daniel Tang•8 months ago

1f36555View on GitHub

Unvendor packages to fix CI

Daniel Tang•8 months ago

d402ad0View on GitHub

Merge pull request #1186 from HoTT/dependabot/github_actions/Andrew-Chen-Wang/github-wiki-action-5

Mike Shulman•9 months ago

c8915b5View on GitHub

Bump Andrew-Chen-Wang/github-wiki-action from 4 to 5

dependabot[bot]•9 months ago

bbec164View on GitHub

Merge pull request #1185 from Bolpat/patch-5

Mike Shulman•9 months ago

3afc33dView on GitHub

Mark Errata (auto)

github-actions•9 months ago

ffeb7cdView on GitHub

View all commits

GitHub Explorer

book

Score Breakdown

Issues Activity: Last 6 months

Hottest Issues