EH

Everett Hildenbrandt

Joined June 2015

73 Followers

0 Following

AI Insights & Achievements

27/ 100

Coding for 11 years.

73 followers.

Organizations

Public Repos

30

Total Stars

29

Total Forks

17

Public Gists

3

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

Most active week: Dec 15–Dec 21 • 6 contributions

Most active month: May 2025 • 96 contributions

PullRequestReviewEvent on runtimeverification/k

January 6th, 2026 1:46 PM

PullRequestReviewCommentEvent on runtimeverification/k

January 6th, 2026 1:46 PM

PullRequestReviewEvent on runtimeverification/k

January 6th, 2026 1:44 PM

PullRequestReviewEvent on runtimeverification/k

January 5th, 2026 9:26 PM

PullRequestReviewCommentEvent on runtimeverification/k

January 5th, 2026 9:26 PM

GitHub Analytics