JU

Julian Sutherland

@Julek

Head of Formal Verification @NethermindEth.

London, UK

@JulekSU

Joined June 2011

65 Followers

52 Following

AI Insights & Achievements

27/ 100

Veteran

Coding for 15 years.

Organizations

RE

Public Repos

24

Total Stars

19

Total Forks

4

Public Gists

16

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 9th, 2026 • 1 contributions

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

Most active month: Sep 2025 • 63 contributions

PublicEvent on NethermindEth/LeanCrypto

March 18th, 2025 4:25 PM

Pushed to julian_assert_range at Clap-lang/clap-lean

January 20th, 2026 12:38 AM

Pushed to julian_assert_range at Clap-lang/clap-lean

January 15th, 2026 1:49 PM

Pushed to marco_div_rem at Clap-lang/clap-lean

January 12th, 2026 11:48 AM

PullRequestReviewEvent on NethermindEth/ExtTreeMapLemmas

January 9th, 2026 3:54 PM

Pushed to assert_range2 at Clap-lang/clap-lean

January 9th, 2026 2:27 PM

Pushed to assert_range2 at Clap-lang/clap-lean

January 8th, 2026 4:49 PM

GitHub Analytics

Julian Sutherland

Veteran