Skip to content

Fork of FLINT (Fast Library for Number Theory)

active 2023-10-09 → 2026-09-27 (UTC)

Complete coverage27,398 / 27,398 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-29 (UTC)
Events
6.4K
Pushes
817
Pull requests
1.2K
Issues
575
Stars
234
Forks
66

Activity over time

Daily event counts in the loaded window

Line chart, 1085 days from 2023-10-09 to 2026-09-27. Pushes: 817 total, peak 21 in a day. Pull requests: 1,158 total, peak 46 in a day. Issues: 575 total, peak 11 in a day. Comments: 2,909 total, peak 53 in a day. Stars: 234 total, peak 6 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
albinahlback2.2K2764681.1K
fredrik-johansson1.9K491423749
edgarcosta2452247143
vneiger2301635133
mezzarobba10102065
fingolfin8011538
Sander80750065
j-kieffer680256
rburing6601631
oscarbenjamin600154
thofma370425
GiacomoPope370225
maelhos360519
dimpase340227
alexjbest338138
tobiasdiez320423
jaganmn280022
user202729250711
MehdiChinoune250415
Joel-Dahne240711

Recent activity

Latest issues, pull requests and releases

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