Loading...
Loading...
11 new projects with 6 stars.
24 day streak.
Coding for 13 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
PullRequestReviewEvent on vihdzp/combinatorial-games
January 31st, 2026 4:15 AM
Pushed to master at wwylele/Poncelet
January 30th, 2026 11:33 PM
Starred YijunYuan/SphericalCompleteness
January 30th, 2026 12:46 PM
Pushed to master at wwylele/Feuerbach
January 30th, 2026 3:12 AM
IssueCommentEvent on leanprover-community/mathlib4
January 29th, 2026 9:05 PM
PullRequestReviewEvent on leanprover-community/mathlib4
January 29th, 2026 9:04 PM
PullRequestReviewCommentEvent on leanprover-community/mathlib4
January 29th, 2026 9:04 PM
Pushed to pentagonal at wwylele/mathlib4
January 29th, 2026 8:59 PM
Pushed to master at wwylele/Feuerbach
January 29th, 2026 3:06 AM
Created branch master in wwylele/Feuerbach
January 29th, 2026 3:04 AM