DE

Ann Roy

Joined January 2022

0 Followers

0 Following

Public Repos

2

Total Stars

0

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: January 8th, 2026 • 3 contributions

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

Most active month: Oct 2025 • 124 contributions

PullRequestReviewEvent on VNNLIB/VNNLIB-Agda

January 20th, 2026 4:34 PM

PullRequestReviewCommentEvent on VNNLIB/VNNLIB-Agda

January 20th, 2026 4:34 PM

January 15th, 2026 4:49 PM

January 15th, 2026 4:42 PM

January 15th, 2026 4:21 PM

January 14th, 2026 6:01 PM

Pushed to arithmetic-complexity-theory at VNNLIB/VNNLIB-Agda

January 14th, 2026 5:58 PM

PullRequestReviewEvent on VNNLIB/VNNLIB-Agda

January 11th, 2026 4:05 PM

PullRequestReviewCommentEvent on VNNLIB/VNNLIB-Agda

January 11th, 2026 4:04 PM

PullRequestReviewEvent on VNNLIB/VNNLIB-Agda

January 11th, 2026 4:03 PM

GitHub Analytics