BE

Benjamin Brast-McKie

@benbrastmckie

Logic

MIT, Cambridge

Website

Joined April 2020

75 Followers

9 Following

AI Insights & Achievements

67/ 100

Quality

Avg 28.5 stars per repo.

Consistency

35 day streak.

Veteran

Coding for 6 years.

Public Repos

17

Total Stars

484

Total Forks

481

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

Most active week: Jan 26–Feb 1 • 1,356 contributions

Most active month: Jan 2026 • 3,646 contributions

Pushed to master at benbrastmckie/nvim

February 8th, 2026 9:00 PM

Pushed to main at benbrastmckie/ProofChecker

February 6th, 2026 6:31 PM

DeleteEvent on benbrastmckie/ProofChecker

February 6th, 2026 5:45 PM

DeleteEvent on benbrastmckie/ProofChecker

February 6th, 2026 5:45 PM

DeleteEvent on benbrastmckie/ProofChecker

February 6th, 2026 5:45 PM

DeleteEvent on benbrastmckie/ProofChecker

February 6th, 2026 5:45 PM

DeleteEvent on benbrastmckie/ProofChecker

February 6th, 2026 5:45 PM

DeleteEvent on benbrastmckie/ProofChecker

February 6th, 2026 5:45 PM

DeleteEvent on benbrastmckie/ProofChecker

February 6th, 2026 5:45 PM

DeleteEvent on benbrastmckie/ProofChecker

February 6th, 2026 5:45 PM

GitHub Analytics

Benjamin Brast-McKie

Quality

Consistency

Veteran