GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
OpenLogicProject
/
OpenLogic
Public
An open-source, customizable intermediate logic textbook
Creative Commons Attribution 4.0 International
Updated Jan 31, 2026
Created Dec 25, 2012
View on GitHub
1,251
stars
272
forks
97
watchers
45
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
RZ
rzach
686 commits
SA
SamaraBurns
60 commits
FE
feffemannen
39 commits
BE
beastaugh
35 commits
FU
furcyd
32 commits
MA
marcusrossberg
23 commits
DA
danahagg
22 commits
SE
seanrsinclair
16 commits
NI
nicolewyatt
13 commits
AV
avigad
12 commits
Recent Stargazers
NI
nicolewyatt
almost 13 years ago
AU
audreysh
over 12 years ago
MA
makp
over 12 years ago
BU
butterfill
about 12 years ago
DS
dsanson
over 11 years ago
SM
smagellan
over 11 years ago
JO
jozefg
over 11 years ago
HN
hnfmr
over 11 years ago
BL
blopesvieira
about 11 years ago
LP
Lprniys
about 11 years ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
4,961
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 8
Closed Issues 92
Open Issues
100
Activity Peak
Most recent day with highest activity
Jan 31, 2026 • 2 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.