JU

Julian Berman

@Julian

Lover of things. Climber of molehills. Seeking friends for the end of the world.

New York, NY

Website

Joined July 2010

415 Followers

139 Following

AI Insights & Achievements

70/ 100

Quality

Avg 11.1 stars per repo.

Growth

20 new projects with 8 stars.

Consistency

47 day streak.

Organizations

TW JS JS PY PY PY BO CR

Public Repos

268

Total Stars

1112

Total Forks

165

Public Gists

6

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 19th, 2026 • 23 contributions

Most active week: Nov 17–Nov 23 • 95 contributions

Most active month: Jun 2025 • 326 contributions

Starred juanfont/headscale

February 1st, 2026 2:20 PM

Starred netbirdio/netbird

February 1st, 2026 2:19 PM

Pushed to rpylean at Julian/lean-kernel-arena

February 1st, 2026 1:35 PM

Pushed to main at Julian/rpylean

February 1st, 2026 1:34 PM

Pushed to main at Julian/rpylean

February 1st, 2026 1:00 PM

Pushed to rpylean at Julian/lean-kernel-arena

February 1st, 2026 11:55 AM

IssueCommentEvent on leanprover/lean-kernel-arena

February 1st, 2026 11:53 AM

Pushed to rpylean at Julian/lean-kernel-arena

February 1st, 2026 11:53 AM

Pushed to rpylean at Julian/lean-kernel-arena

February 1st, 2026 11:50 AM

opened pull request in badlogic/pi-mono

February 1st, 2026 11:45 AM

GitHub Analytics

Julian Berman

Quality

Growth

Consistency