NA

Nils Anders Danielsson

@nad

Joined June 2010

63 Followers

0 Following

AI Insights & Achievements

27/ 100

Veteran

Coding for 16 years.

Influencer

63 followers.

Public Repos

15

Total Stars

43

Total Forks

7

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: January 16th, 2026 • 9 contributions

Most active week: Nov 24–Nov 30 • 33 contributions

Most active month: Sep 2025 • 96 contributions

closed issue in agda/agda

February 4th, 2026 3:49 PM

IssueCommentEvent on agda/agda

February 4th, 2026 3:49 PM

IssueCommentEvent on agda/agda

February 4th, 2026 2:16 PM

labeled issue in agda/agda

February 3rd, 2026 1:20 PM

labeled issue in agda/agda

February 3rd, 2026 1:20 PM

opened issue in agda/agda

February 3rd, 2026 1:20 PM

labeled pull request in agda/agda

January 30th, 2026 8:32 PM

labeled issue in agda/agda

February 2nd, 2026 7:25 PM

labeled issue in agda/agda

February 2nd, 2026 7:25 PM

IssueCommentEvent on agda/agda

February 2nd, 2026 7:22 PM

GitHub Analytics

Nils Anders Danielsson

Veteran

Influencer