LeanDoc

Public

LeanDoc is a semantic document language based on AsciiDoc, while being formally specified and parsable by a single recursive descent parser

GNU General Public License v2.0

Updated Jan 14, 2026

Created Jan 9, 2026

1 stars

0 forks

0 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

6 commits

Recent Stargazers

21 days ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)106

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 0

Open Issues0

Activity Peak

Most recent day with highest activityJan 14, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics