MS

MSoegtropIMC

Joined June 2014

15 Followers

0 Following

AI Insights & Achievements

18/ 100

Coding for 12 years.

Public Repos

40

Total Stars

0

Total Forks

0

Public Gists

5

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 8th, 2026 • 0 contributions

Most active week: Nov 17–Nov 23 • 0 contributions

Most active month: Jul 2025 • 12 contributions

IssueCommentEvent on rocq-prover/platform

January 23rd, 2026 5:21 PM

GitHub Analytics