Language Breakdown
Lines of code distribution across 0 owned repositories
0
Total LOC
Collaboration Network
Global Impact visualization
Repos
7
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
2 days
467
Contributions
338
Commits
72
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
0 total
Not following anyone yet.
Synced via GitHub
Open Source Impact
Contributions to external projects
178 merged PRs
ocaml/opam-repository
578
rocq-community/rocq-lsp
205
rocq-prover/platform
239
impermeable/coq-waterproof
50
impermeable/waterproof-dependencies-installer
0
impermeable/impermeable.github.io
0
PatrickMassot/verbose-lean4
129
impermeable/waterproof-exercise-sheets
2
impermeable/waterproof-vscode
10
fpvandoorn/carleson
94
Contributed to 15 repositories