Rankings
Badges
/
zkincaid
Rankings
Badges
Overview
Ranks
Repositories
Languages
Zak Kincaid
@zkincaid
Refresh
Open GitHub
🇺🇸 Princeton, NJ
Princeton University
Profile age: over 12 years
Updated 2 days ago
47 followers • 0 following
Contacts
http://www.cs.princeton.edu/~zkincaid
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 5
Persona
Influencer
#484,083
#1,513,817
#288,738
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
duet
25
17
updated about 1 month ago • age about 12 years
OCaml
98.3%
C
1.5%
Shell
0.1%
Dune
0.0%
M4
0.0%
srk
8
1
updated about 2 years ago • age about 8 years
OCaml
100.0%
Last Contributions
2024
jennLang
1 PR
+329
-3
OCaml
0
2
duet-IW
2 PRs
+176
-29
SMT
0
2
2021
proof-tree-builder.github.io
1 PR
+77
-77
JavaScript
36
3
2019
researchr-booklet-ocaml
1 PR
+64
-52
TeX
0
1
2018
duet
2 PRs
+156
-11
C
0
0
View all contributions
Latest Updates
13 Sep 2025
Followers Count:
46
47
08 Jan 2025
First seen
Subscribe to zkincaid's GitHub rank updates in your messenger
WhatsApp
Telegram
