PL

Boris Alexeev

@plby

Joined November 2013

9 Followers

0 Following

AI Insights & Achievements

36/ 100

Growth

7 new projects with 20 stars.

Veteran

Coding for 13 years.

Public Repos

11

Total Stars

20

Total Forks

0

Public Gists

0

Top Languages

Based on primary language of repositories

Recent Activity

Contribution Graph

Activity Timeline

Commits and contributions grouped by day, week, or month.

High productivity periods

Most active day: January 15th, 2026 • 30 contributions

Most active week: Nov 24–Nov 30 • 61 contributions

Most active month: Jan 2026 • 94 contributions

Pushed to main at plby/lean-proofs

February 1st, 2026 12:06 AM

Pushed to main at plby/lean-proofs

January 31st, 2026 11:55 PM

Pushed to main at plby/lean-proofs

January 31st, 2026 9:51 AM

opened pull request in Woett/Lean-files

January 31st, 2026 9:00 AM

Pushed to patch-1 at plby/Lean-files

January 31st, 2026 8:59 AM

DeleteEvent on plby/Lean-files

January 31st, 2026 8:58 AM

Pushed to patch-1 at plby/Lean-files

January 31st, 2026 8:58 AM

Forked Woett/Lean-files

January 31st, 2026 8:57 AM

Pushed to main at plby/lean-proofs

January 31st, 2026 8:48 AM

Pushed to main at plby/lean-proofs

January 30th, 2026 3:44 AM

GitHub Analytics

Boris Alexeev

Growth

Veteran