Skip to content

FSharp source code formatter

active 2023-08-16 → 2026-09-28 (UTC)

Complete coverage27,381 / 27,381 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-28 (UTC)
Events
2.2K
Pushes
398
Pull requests
353
Issues
225
Stars
147
Forks
27

Activity over time

Daily event counts in the loaded window

Line chart, 1140 days from 2023-08-16 to 2026-09-28. Pushes: 398 total, peak 14 in a day. Pull requests: 353 total, peak 16 in a day. Issues: 225 total, peak 5 in a day. Comments: 650 total, peak 23 in a day. Stars: 147 total, peak 3 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
nojaf861148193289
github-actions[bot]2882004434
dawedawe238275562
josh-degraw711537
dependabot[bot]365283
Numpsy250121
Smaug123220212
MangelMaxime210214
Martin521190013
TobyShaw170115
github-advanced-security[bot]160013
brianrourkeboll160011
dsyme161600
ErikSchierboom15018
cmeeren14007
isaacabraham10014
joprice10006
auduchinok9007
jindraivanek8122
Copilot8004

Recent activity

Latest issues, pull requests and releases

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