GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
hanwenzhu
/
LeanArchitect
Public
LeanArchitect extracts a blueprint directly from Lean source.
Apache License 2.0
Updated Feb 5, 2026
Created Sep 4, 2025
View on GitHub
25
stars
3
forks
2
watchers
5
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
HA
hanwenzhu
66 commits
PI
pitmonticone
2 commits
FL
FLDutchmann
1 commits
Recent Stargazers
SE
Seasawher
5 months ago
GA
GanjinZero
5 months ago
RE
RexWzh
5 months ago
MI
minaph
5 months ago
SH
shun-dong
5 months ago
FL
FLDutchmann
3 months ago
WE
wellecks
3 months ago
AL
albertqjiang
3 months ago
ZH
zhansong01
3 months ago
AU
augustepoiroux
about 2 months ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
212
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 5
Closed Issues 2
Open Issues
7
Activity Peak
Most recent day with highest activity
Feb 5, 2026 • 1 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.