Rankings
Badges
/
DanGrayson
Rankings
Badges
Overview
Ranks
Repositories
Languages
Daniel R. Grayson
@DanGrayson
Refresh
Open GitHub
null
Profile age: over 14 years
Updated 1 day ago
142 followers • 13 following
Contacts
danielrichardgrayson@gmail.com
http://dangrayson.com/
Organizations
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 4
Persona
Influencer
#563,171
#489,470
#79,439
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
Ktheory
8
2
updated over 11 years ago • age almost 12 years
Coq
100.0%
checker
7
2
updated over 9 years ago • age about 13 years
OCaml
67.4%
TeX
14.4%
TypeScript
14.3%
Standard ML
2.3%
Coq
1.7%
VV-C-system-from-a-monad
6
2
updated almost 3 years ago • age about 7 years
TeX
99.7%
Makefile
0.3%
M2
2
0
updated almost 3 years ago • age almost 13 years
Macaulay2
84.2%
C++
13.7%
C
0.8%
JavaScript
0.7%
CMake
0.6%
coq-builder
1
2
updated about 11 years ago • age about 13 years
Shell
100.0%
View all 9 repositories
Last Contributions
2022
UniMath
1 PR
+137
-52
Rocq Prover
990
184
11
SymmetryBook
1 PR
+35
-21
HTML
430
26
M2
2 PRs
+25
-22
Macaulay2
391
259
11
M2
1 PR
+20
-20
Macaulay2
4
2
2021
M2
~13 PRs
+468
-509
Macaulay2
391
259
11
View all contributions
Latest Updates
18 Oct 2025
Followers Count:
143
142
04 Oct 2025
Followers Count:
142
143
06 Sep 2025
Followers Count:
141
142
04 Jan 2025
First seen
Subscribe to DanGrayson's GitHub rank updates in your messenger
WhatsApp
Telegram