Skip to content

runtimeverification/llvm-backend

View on GitHub ↗Related repositories →

KORE to llvm translation

active 2023-08-15 → 2026-06-23 (UTC)

Complete coverage27,356 / 27,356 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-27 (UTC)
Events
4.6K
Pushes
1.7K
Pull requests
572
Issues
116
Stars
6
Forks
9

Activity over time

Daily event counts in the loaded window

Line chart, 1044 days from 2023-08-15 to 2026-06-23. Pushes: 1,679 total, peak 52 in a day. Pull requests: 572 total, peak 11 in a day. Issues: 116 total, peak 8 in a day. Comments: 673 total, peak 65 in a day. Stars: 6 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.

Top contributors

Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity

ContributorContributionsPushesPRsComments
Baltoli994422107243
dwightguth58929113058
rv-jenkins5753881610
Robertorosmaninho54219454134
theo253821862968
Scott-Guest144481526
gtrepta108171823
stevenmeker10573236
coderabbitai[bot]630060
tothtamas28462012
mariaKt422576
F-WRunTime241361
goodlyrottenapple21444
automergerpr-permission-manager[bot]11650
RaoulSchaffranek10621
nishantjr8005
virgil-serbanuta8006
0cjs8015
radumereuta7003
ehildenb6005

Recent activity

Latest issues, pull requests and releases

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 6 stars here means stars gained during the window, not the repo's star count.