Diego Acuña
4Followers
10Following
3Repos
Fun with AI
Click the button above to generate a fun analysis of your GitHub profile
Contributions (2025)
Total Commits
14Issues Closed
0PRs Merged
0Repository Impact
Total Stars
0Total Forks
0Top Languages
C#59.1%
Jupyter Notebook35.7%
Agda2.6%
Dafny1.7%
Coq0.6%
Top Repository
⭐ 0
🍴 0
Contribution Graph (2025)
More
Less
Contributions by Month (2025)
Contributions by Day (2025)
Active Days
11days
Longest Streak
2days
Longest Gap
210days
Weekend Activity
3days