Skip to content

MarkNisarg/proof-buddy

View on GitHub ↗Related repositories →

An application for error detection within Mathematic Notes

active 2023-11-09 → 2025-03-05 (UTC)

Complete coverage28,339 / 28,339 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-07 (UTC)
Events
263
Pushes
180
Pull requests
39
Issues
2
Stars
6
Forks
7

Activity over time

Daily event counts in the loaded window

Line chart, 483 days from 2023-11-09 to 2025-03-05. Pushes: 180 total, peak 14 in a day. Pull requests: 39 total, peak 9 in a day. Issues: 2 total, peak 2 in a day. Comments: 1 total, peak 1 in a day. Stars: 6 total, peak 2 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
JokiestJoke9070191
steveearth66373070
JoshClark431335211650
andychek202000
MarkNisarg161240
csecen131300
ybouhadiba121200
ngop267700
brownigloo2020
jav1anpry5ce2020
ananya212000

Recent activity

Latest issues, pull requests and releases

  • Pull request#22steveearth662025-03-05 23:45
  • Issue#21ananya212024-06-17 12:15
  • Issue#21ananya212024-06-17 12:08
  • Pull request#20steveearth662024-05-08 19:00
  • Pull request#20steveearth662024-05-08 18:59
  • Pull request#19jav1anpry5ce2024-04-26 17:17
  • Pull request#19jav1anpry5ce2024-04-24 15:56
  • Pull request#18steveearth662024-04-22 16:28
  • Pull request#18steveearth662024-04-22 16:28
  • Pull request#17steveearth662024-04-09 21:45
  • Pull request#17steveearth662024-04-09 21:45
  • Pull request#16JokiestJoke2024-03-16 16:11
  • Pull request#16JokiestJoke2024-03-16 16:10
  • Pull request#15JokiestJoke2024-03-11 14:45
  • Issue comment#15JokiestJoke2024-03-11 14:45
  • Pull request#15MarkNisarg2024-03-10 21:27
  • Pull request#14JokiestJoke2024-03-01 18:24
  • Pull request#14JokiestJoke2024-03-01 18:20
  • Pull request#13JokiestJoke2024-03-01 18:15
  • Pull request#13JokiestJoke2024-03-01 18:15
  • Pull request#12MarkNisarg2024-02-09 22:31
  • Pull request#12MarkNisarg2024-02-09 22:01
  • Pull request#11JokiestJoke2024-01-19 00:20
  • Pull request#11brownigloo2024-01-19 00:19
  • Pull request#10JokiestJoke2024-01-18 23:49

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.