Skip to content
GitHub Explorer

nuonuo36/mathproofs

View on GitHub ↗Related repositories →

Config files for my GitHub profile.

active 2024-05-19 → 2024-09-28 (UTC)

Complete coverage27,593 / 27,593 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-07 (UTC)
Events
462
Pushes
116
Pull requests
172
Issues
6
Stars
0
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 133 days from 2024-05-19 to 2024-09-28. Pushes: 116 total, peak 8 in a day. Pull requests: 172 total, peak 9 in a day. Issues: 6 total, peak 4 in a day. Comments: 0 total, peak 0 in a day. Stars: 0 total, peak 0 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Top contributors

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

ContributorContributionsPushesPRsComments
nuonuo36232941350
xedrft5518370
LawrenceKurowski7400

Recent activity

Latest issues, pull requests and releases

  • Pull request#94nuonuo362024-09-28 11:02
  • Pull request#94nuonuo362024-09-28 11:02
  • Pull request#93nuonuo362024-09-22 13:26
  • Pull request#93nuonuo362024-09-22 13:26
  • Pull request#92nuonuo362024-09-15 13:28
  • Pull request#92nuonuo362024-09-15 13:28
  • Pull request#91xedrft2024-09-09 02:05
  • Pull request#91xedrft2024-09-09 02:05
  • Pull request#90xedrft2024-09-09 00:06
  • Pull request#90xedrft2024-09-08 23:56
  • Pull request#89nuonuo362024-08-31 11:07
  • Pull request#89nuonuo362024-08-31 11:07
  • Pull request#88nuonuo362024-08-30 11:51
  • Pull request#88nuonuo362024-08-30 11:50
  • Pull request#87nuonuo362024-08-28 11:34
  • Pull request#87nuonuo362024-08-28 11:34
  • Pull request#86nuonuo362024-08-28 11:30
  • Pull request#86nuonuo362024-08-28 11:26
  • Pull request#85nuonuo362024-08-24 11:46
  • Pull request#85nuonuo362024-08-24 11:45
  • Pull request#84nuonuo362024-08-23 11:24
  • Pull request#84nuonuo362024-08-23 11:24
  • Pull request#83nuonuo362024-08-22 00:31
  • Pull request#83nuonuo362024-08-22 00:30
  • Pull request#82xedrft2024-08-20 01:37

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