Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/simongregersen

Badges

Overview
Ranks
Repositories
Languages

Simon Gregersen

@simongregersen

🇺🇸 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

Repositories

10

0

updated over 6 years ago • age over 6 years

Idris100.0%

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
2017
ng2-split-pane
1 PR +65-48
TypeScript
43
26