Loading...
MA
AI Insights & Achievements
25/ 100
Veteran
Coding for 7 years.
Profile README
Public Repos
10
Total Stars
1
Total Forks
0
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: February 9th, 2026 • 5 contributions
Most active week: Dec 8–Dec 14 • 38 contributions
Most active month: Dec 2025 • 87 contributions
Starred torch-uncertainty/torch-uncertainty
February 3rd, 2026 7:53 PM
Pushed to doc/hosting.md at leanprover-community/lean4game
January 30th, 2026 10:16 AM
Created branch doc/hosting.md in leanprover-community/lean4game
January 30th, 2026 9:49 AM
Created branch po-newlines in hhu-adam/Robo
January 23rd, 2026 2:59 PM
Pushed to main at hhu-adam/Robo
January 23rd, 2026 2:59 PM
Pushed to prometheus-integration at hhu-adam/Logger
January 23rd, 2026 2:47 PM
Pushed to prometheus-integration at hhu-adam/Logger
January 22nd, 2026 11:52 AM
Pushed to prometheus-integration at hhu-adam/Logger
January 22nd, 2026 11:48 AM
Pushed to prometheus-integration at hhu-adam/Logger
January 22nd, 2026 11:29 AM
Pushed to prometheus-integration at hhu-adam/Logger
January 22nd, 2026 11:25 AM