AG

Arie Gurfinkel

Canada

Joined December 2013

96 Followers

0 Following

AI Insights & Achievements

26/ 100

Coding for 13 years.

96 followers.

Public Repos

37

Total Stars

94

Total Forks

51

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

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

Most active month: Jun 2025 • 3 contributions

IssueCommentEvent on Z3Prover/z3

February 2nd, 2026 9:34 PM

IssueCommentEvent on seahorn/seahorn

January 22nd, 2026 7:06 PM

GitHub Analytics