RE

Rémi Germe

@remigerme

CS student interested in formal verification

Paris, France

Website

Joined April 2020

10 Followers

10 Following

AI Insights & Achievements

40/ 100

Consistency

27 day streak.

Veteran

Coding for 6 years.

Public Repos

34

Total Stars

23

Total Forks

6

Public Gists

3

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: February 4th, 2026 • 10 contributions

Most active week: Dec 22–Dec 28 • 31 contributions

Most active month: Aug 2025 • 184 contributions

Starred AeneasVerif/charon

February 9th, 2026 11:13 PM

Starred FStarLang/FStar

February 9th, 2026 4:20 PM

Pushed to main at remigerme/the-crew-solver

February 8th, 2026 10:11 PM

Pushed to v4 at remigerme/my-quartz

February 8th, 2026 10:07 PM

DeleteEvent on remigerme/the-crew-solver

February 8th, 2026 10:10 AM

Pushed to experiments at remigerme/the-crew-solver

February 8th, 2026 10:09 AM

Pushed to main at remigerme/the-crew-solver

February 8th, 2026 10:06 AM

Pushed to experiments at remigerme/the-crew-solver

February 7th, 2026 3:31 PM

Pushed to main at remigerme/the-crew-solver

February 7th, 2026 3:26 PM

Pushed to experiments at remigerme/the-crew-solver

February 7th, 2026 2:31 PM

GitHub Analytics

Rémi Germe

Consistency

Veteran