GitHub Analytics

Kim Morrison - GitHub Analytics Profile

Kim Morrison

@kim-em

Canberra

Website

Joined November 2010

369 Followers

1 Following

AI Insights & Achievements

49/ 100

Growth

52 new projects with 17 stars.

Consistency

27 day streak.

Veteran

Coding for 16 years.

Public Repos

192

Total Stars

152

Total Forks

Public Gists

Top Languages

Based on primary language of repositories

Recent Activity

5969 contributions in 2025

LessMore

Contribution Graph

Activity Timeline

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

High productivity periods

Most active day: January 24th, 2026 • 146 contributions

Most active week: Dec 1–Dec 7 • 606 contributions

Most active month: Dec 2025 • 1,115 contributions

labeled pull request in leanprover-community/leanprover-community.github.io

February 3rd, 2026 7:31 AM

unlabeled pull request in leanprover-community/leanprover-community.github.io

February 3rd, 2026 7:31 AM

Pushed to kim/guard-msgs-documentation at kim-em/leanprover-community.github.io

February 3rd, 2026 7:31 AM

PullRequestReviewEvent on leanprover-community/leanprover-community.github.io

February 3rd, 2026 7:31 AM

PullRequestReviewCommentEvent on leanprover-community/leanprover-community.github.io

February 3rd, 2026 7:31 AM

Pushed to kim/guard-msgs-documentation at kim-em/leanprover-community.github.io

February 3rd, 2026 7:31 AM

Pushed to kim/guard-msgs-documentation at kim-em/leanprover-community.github.io

February 3rd, 2026 7:30 AM

PullRequestReviewEvent on leanprover-community/leanprover-community.github.io

February 3rd, 2026 7:30 AM

PullRequestReviewCommentEvent on leanprover-community/leanprover-community.github.io

February 3rd, 2026 7:30 AM

PullRequestReviewEvent on leanprover-community/leanprover-community.github.io

February 3rd, 2026 7:30 AM