MI

Mike Ion

Postdoc Research Fellow in AI and Education @ UMich. Interested in mathematics education, theory of mind, natural language processing, and knowledge tracing

CA

Website

Joined April 2016

24 Followers

18 Following

AI Insights & Achievements

31/ 100

Veteran

Coding for 10 years.

Public Repos

54

Total Stars

2

Total Forks

2

Public Gists

1

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

Most active week: Jan 12–Jan 18 • 27 contributions

Most active month: Oct 2025 • 183 contributions

Starred NeuSpeech/awesome-brain-decoding

February 8th, 2026 8:50 AM

Created branch claude/setup-ace-step-ui-eGMeb in mikeion/musicmatcher

February 8th, 2026 8:09 AM

Starred localgpt-app/localgpt

February 8th, 2026 8:02 AM

Starred fspecii/ace-step-ui

February 8th, 2026 7:57 AM

Starred 54yyyu/zotero-mcp

February 6th, 2026 10:15 PM

Starred lfnovo/open-notebook

February 6th, 2026 7:40 PM

Starred godotengine/godot

February 6th, 2026 8:26 AM

Starred neulab/ExplainaBoard

February 3rd, 2026 7:09 PM

Starred lichess-org/lila

January 26th, 2026 7:27 AM

GitHub Analytics

Mike Ion

Veteran