GitHub Rankingspeople and organizations by total stars
Rank among 26,735 organizations
#15,794

Open Logic Project

OpenLogicProject, on GitHub since 2013, organization
Total stars
1,637
Repositories counted
13
Since yesterday
▲ 1
Tier
D

Where the stars come from

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

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#14,282#15,040#15,797 Oct 4Nov 7