YA

yannickmoy

Joined June 2011

28 Followers

0 Following

AI Insights & Achievements

20/ 100

Coding for 15 years.

Public Repos

66

Total Stars

10

Total Forks

4

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 • 0 contributions

Most active week: Nov 17–Nov 23 • 0 contributions

Most active month: Aug 2025 • 6 contributions

IssueCommentEvent on cvc5/cvc5

January 10th, 2026 1:21 PM

GitHub Analytics