Loading...
SE
AI Insights & Achievements
26/ 100
Veteran
Coding for 10 years.
Profile README
Public Repos
20
Total Stars
4
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 2nd, 2026 • 2 contributions
Most active week: Feb 2–Feb 8 • 5 contributions
Most active month: Oct 2025 • 13 contributions
Starred kyffa/Iridium
February 7th, 2026 3:48 AM
Starred albertsgarde/rustorio
February 5th, 2026 12:28 PM
Pushed to main at SearchingFox/searchingfox.github.io
February 4th, 2026 8:49 PM
Starred PatrickMassot/GlimpseOfLean
February 4th, 2026 8:48 PM
Pushed to main at SearchingFox/searchingfox.github.io
February 4th, 2026 1:13 AM
Pushed to main at SearchingFox/searchingfox.github.io
February 3rd, 2026 8:47 PM
Pushed to master at SearchingFox/riano
February 2nd, 2026 8:54 PM
Created branch master in SearchingFox/riano
February 2nd, 2026 8:41 PM
Starred DSLstandard/Lean4-FFI-Programming-Tutorial-GLFW
February 1st, 2026 3:18 PM