TopGit
GITHUB ORGANIZATION

OpenLogicProject — GitHub organization

OpenLogicProject has 1.5k stars across their public GitHub repositories, ranking #7770 globally among GitHub organizations.

Global rank#7770
Total stars1.5k
Public repositories15
View on GitHub ↗

Top repositories

OpenLogic★ 1.3kforallx★ 70fitch-checker★ 62set-theory★ 43fitch★ 19forallx-cam★ 16portraits★ 8photos★ 8bussproofs-extra★ 7LogicTimeline★ 6

How many GitHub stars does OpenLogicProject have?

OpenLogicProject has 1.5k stars across their public repositories, ranking #7770 globally.

What is OpenLogicProject's most-starred repository?

Their most-starred public repository is OpenLogic, with 1.3k stars.

Is OpenLogicProject an individual or an organization?

This is a GitHub organization account.

See our methodology for how this ranking is calculated.

← Back to Organizations ranking