lean4web

Public

Lean web editor

Apache License 2.0

Updated Feb 6, 2026

Created Oct 25, 2022

130 stars

48 forks

6 watchers

13 open issues

Languages

Codebase composition by bytes

Top Contributors

260 commits

136 commits

5 commits

1 commits

1 commits

1 commits

1 commits

1 commits

1 commits

1 commits

Recent Stargazers

about 3 years ago

about 3 years ago

about 3 years ago

almost 3 years ago

almost 3 years ago

almost 3 years ago

almost 3 years ago

over 2 years ago

over 2 years ago

over 2 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)10,952

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 13Closed Issues 77

Open Issues90

Activity Peak

Most recent day with highest activityFeb 6, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

lean4web