GitHub Analytics

GitHub Analytics

runtimeverification/

k

Public

K Framework Tools 7.0

BSD 3-Clause "New" or "Revised" License

Updated Feb 4, 2026

Created Jan 20, 2016

550 stars

159 forks

37 watchers

316 open issues

Languages

Codebase composition by bytes

Top Contributors

2472 commits

2055 commits

1460 commits

AN andreiarusoaie

1342 commits

1159 commits

AN andreistefanescu

1155 commits

1070 commits

989 commits

673 commits

423 commits

Recent Stargazers

MA MateusAraujoBorges

almost 9 years ago

over 8 years ago

about 8 years ago

about 8 years ago

almost 8 years ago

almost 8 years ago

almost 8 years ago

almost 8 years ago

almost 8 years ago

almost 8 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)158,882

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 13Closed Issues 87

Open Issues100

Activity Peak

Most recent day with highest activityFeb 3, 2026 • 5 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.