Skip to content
GitHub Explorer

negiizhao/Algorithm

View on GitHub ↗Related repositories →

Verified efficient algorithms in Lean4. Only a bit of stuff now.

active 2023-08-16 → 2024-07-04 (UTC)

Complete coverage26,449 / 26,449 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-21 (UTC)
Events
208
Pushes
100
Pull requests
42
Issues
6
Stars
10
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 324 days from 2023-08-16 to 2024-07-04. Pushes: 100 total, peak 19 in a day. Pull requests: 42 total, peak 7 in a day. Issues: 6 total, peak 3 in a day. Comments: 2 total, peak 1 in a day. Stars: 10 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
negiizhao148100421
lengyijun2001

Recent activity

Latest issues, pull requests and releases

  • Pull request#30negiizhao2024-07-04 03:05
  • Pull request#30negiizhao2024-07-04 02:55
  • Pull request#29negiizhao2024-07-04 00:50
  • Pull request#29negiizhao2024-07-04 00:48
  • Pull request#28negiizhao2024-07-04 00:23
  • Pull request#27negiizhao2024-06-14 14:18
  • Pull request#27negiizhao2024-06-14 14:15
  • Pull request#26negiizhao2024-06-07 07:12
  • Pull request#26negiizhao2024-06-07 07:08
  • Pull request#25negiizhao2024-06-06 10:32
  • Pull request#25negiizhao2024-06-06 10:21
  • Pull request#24negiizhao2024-05-29 11:42
  • Pull request#23negiizhao2024-05-29 10:38
  • Pull request#22negiizhao2024-05-26 08:10
  • Pull request#22negiizhao2024-05-25 18:29
  • Pull request#21negiizhao2024-05-22 14:40
  • Pull request#20negiizhao2024-05-22 10:16
  • Pull request#20negiizhao2024-05-22 09:47
  • Pull request#19negiizhao2024-05-22 08:39
  • Pull request#19negiizhao2024-05-22 08:23
  • Pull request#18negiizhao2024-05-21 20:20
  • Pull request#18negiizhao2024-05-21 19:29
  • Pull request#17negiizhao2024-05-21 15:14
  • Pull request#17negiizhao2024-05-21 14:19
  • Pull request#16negiizhao2024-05-21 09:31

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