Rankings
Badges
/
simongregersen
Rankings
Badges
Overview
Ranks
Repositories
Languages
Simon Gregersen
@simongregersen
Refresh
Open GitHub
🇺🇸 New York, NY, USA
New York University
Profile age: over 12 years
Updated 13 days ago
31 followers • 33 following
Contacts
s.gregersen@nyu.edu
https://simongregersen.com
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in USA
Adept 5
Persona
Influencer
#96,325
#101,736
#63,437
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
DepSec
10
0
updated over 6 years ago • age over 6 years
Idris
100.0%
Last Contributions
2024
clutch
3 PRs
+2,927
-3,430
Rocq Prover
27
8
1
2022
coq-proba
1 PR
+494
-491
Coq
54
6
2021
monotone
1 PR
+23
-18
Coq
1
1
2020
monotone
2 PRs
+34
-30
Coq
1
1
2018
rocq
1 PR
+1
-1
OCaml
5,255
699
65
View all contributions
Latest Updates
22 Oct 2025
Followers Count:
30
31
23 Sep 2025
Followers Count:
32
30
10 Aug 2025
Followers Count:
30
32
29 Mar 2025
Avatar:
changed
06 Jan 2025
First seen
Subscribe to simongregersen's GitHub rank updates in your messenger
WhatsApp
Telegram
