Skip to content

F Prime Prime: A modeling language for F Prime

active 2024-04-16 → 2026-10-27 (UTC)

Complete coverage28,233 / 28,233 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-03 (UTC)
Events
4.4K
Pushes
1.5K
Pull requests
391
Issues
402
Stars
42
Forks
20

Activity over time

Daily event counts in the loaded window

Line chart, 925 days from 2024-04-16 to 2026-10-27. Pushes: 1,536 total, peak 30 in a day. Pull requests: 391 total, peak 10 in a day. Issues: 402 total, peak 12 in a day. Comments: 795 total, peak 48 in a day. Stars: 42 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
bocchino2.6K1.2K237492
Kronos34212013981
jwest115192104061
LeStarch123102341
Brian-Campuzano9569612
garthwatney9361833
thomas-bc618525
zimri-leisher15006
mosa11aei15064
mwette13019
timcanham13006
m-aleem11046
celskeggs9005
abh805022
Copilot5230
Shivaly-Reddy4120
kubiak-jpl2010
budhe8882000
kevinthegreat12010
nphuhuy2011

Recent activity

Latest issues, pull requests and releases

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