MA

Matthieu Sozeau

@mattam82

Nantes

Website

@mattam_

Joined June 2009

174 Followers

3 Following

AI Insights & Achievements

49/ 100

Veteran

Coding for 17 years.

Influencer

174 followers.

Organizations

RO HO MA ME

Public Repos

79

Total Stars

312

Total Forks

198

Public Gists

2

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 29th, 2026 • 10 contributions

Most active week: Dec 15–Dec 21 • 29 contributions

Most active month: Mar 2025 • 164 contributions

Pushed to universes-and-variances at mattam82/hierarchy-builder

February 5th, 2026 4:45 PM

Created branch universes-and-variances in mattam82/HoTT

February 5th, 2026 4:44 PM

Created branch universes-and-variances in mattam82/hierarchy-builder

February 5th, 2026 4:36 PM

PullRequestReviewCommentEvent on rocq-prover/rocq

February 5th, 2026 4:03 PM

PullRequestReviewEvent on rocq-prover/rocq

February 5th, 2026 4:04 PM

PullRequestReviewCommentEvent on rocq-prover/rocq

February 5th, 2026 4:04 PM

PullRequestReviewEvent on rocq-prover/rocq

February 5th, 2026 4:04 PM

PullRequestReviewCommentEvent on rocq-prover/rocq

February 5th, 2026 4:04 PM

PullRequestReviewEvent on rocq-prover/rocq

February 5th, 2026 4:03 PM

Pushed to rewrite-in-lets at mattam82/rocq

February 5th, 2026 3:58 PM

GitHub Analytics

Matthieu Sozeau

Veteran

Influencer