GitHub Analytics

GitHub Analytics

formal-ledger-specifications

Public

Formal specifications of the Cardano ledger

Apache License 2.0

Updated Feb 10, 2026

Created Jul 6, 2022

50 stars

20 forks

16 watchers

131 open issues

Languages

Codebase composition by bytes

Top Contributors

WI williamdemeo

281 commits

231 commits

FA facundominguez

110 commits

105 commits

53 commits

45 commits

42 commits

HE HeinrichApfelmus

9 commits

9 commits

7 commits

Recent Stargazers

over 3 years ago

over 3 years ago

over 3 years ago

over 3 years ago

over 3 years ago

over 3 years ago

over 3 years ago

about 3 years ago

almost 3 years ago

almost 3 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)364,734

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 24Closed Issues 76

Open Issues100

Activity Peak

Most recent day with highest activityFeb 10, 2026 • 24 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.