GitHub Rankingspeople and organizations by total stars
Rank among 26,637 organizations
#15,788

Open Logic Project

OpenLogicProject, on GitHub since 2013, organization
Total stars
1,629
Repositories counted
13
Since yesterday
▼ 24
Tier
D

Where the stars come from

OpenLogic
1,385
forallx
70
fitch-checker
62
set-theory
44
fitch
20
forallx-cam
16
7 other repositories
32

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#14,282#15,035#15,788 Oct 4Oct 25