Rankings
Badges
/
patrick-nicodemus
Rankings
Badges
Overview
Ranks
Repositories
Languages
Patrick Nicodemus
@patrick-nicodemus
Refresh
Open GitHub
🇺🇸 Philadelphia, Pennsylvania
University of Pennsylvania
Profile age: about 8 years
Updated 11 days ago
19 followers • 16 following
Contacts
gadget142@gmail.com
math.wisc.edu/~nicodemus
@PatNicodemus
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 5
Persona
Contributor
N/A
#395,750
#745,479
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
gw-ocaml
1
0
updated almost 2 years ago • age almost 2 years
C
99.1%
Futhark
0.6%
OCaml
0.4%
Makefile
0.0%
ocaml.org
0
0
updated 9 months ago • age 10 months
HTML
49.5%
OCaml
46.5%
CSS
3.1%
JavaScript
0.6%
Dune
0.3%
readthedocs-tutorial
0
0
updated almost 3 years ago • age almost 3 years
Python
100.0%
UniMath
0
0
updated almost 4 years ago • age almost 4 years
Coq
99.3%
Emacs Lisp
0.4%
Makefile
0.2%
Perl
0.0%
Shell
0.0%
Last Contributions
2025
rocq
1 PR
+3
-3
OCaml
5,240
694
65
Coq-HoTT
2 PRs
+74
-89
Rocq Prover
1,350
197
14
category-theory
1 PR
+24
-3
Rocq Prover
784
80
1
coqhammer
2 PRs
+2
-2
OCaml
230
34
33
rocq-lsp
1 PR
+4
-2
OCaml
188
48
35
View all contributions
Latest Updates
31 Jul 2025
Followers Count:
17
19
17 Jan 2025
First seen
Subscribe to patrick-nicodemus's GitHub rank updates in your messenger
WhatsApp
Telegram
