MI

Andrew Walter

@mister-walter

Northeastern University PhD student working with Pete Manolios.

Massachusetts

Website

Joined June 2012

12 Followers

7 Following

AI Insights & Achievements

27/ 100

Veteran

Coding for 14 years.

Public Repos

58

Total Stars

16

Total Forks

3

Public Gists

0

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

Most active week: Dec 8–Dec 14 • 2 contributions

Most active month: Apr 2025 • 42 contributions

merged pull request in acl2/acl2

February 6th, 2026 4:54 PM

IssueCommentEvent on acl2/acl2

February 5th, 2026 4:03 AM

IssueCommentEvent on acl2/acl2

January 28th, 2026 4:08 AM

IssueCommentEvent on acl2/acl2

January 28th, 2026 4:03 AM

opened pull request in acl2/acl2

January 28th, 2026 4:01 AM

Created branch acl2s-safety-fix in mister-walter/acl2

January 28th, 2026 3:59 AM

Pushed to testing-acl2s at mister-walter/acl2

January 28th, 2026 3:48 AM

Pushed to master at mister-walter/acl2

January 28th, 2026 3:48 AM

GitHub Analytics

Andrew Walter

Veteran