Rankings
Badges
/
vzaliva
Rankings
Badges
Overview
Ranks
Repositories
Languages
Vadim Zaliva
@vzaliva
Refresh
Open GitHub
🇺🇸 Saratoga, CA, USA
University of Cambridge, Digamma.ai
Profile age: over 16 years
Updated 9 days ago
49 followers • 3 following
Contacts
lord@crocodile.org
http://zaliva.org/
@vzaliva@mastodon.acm.org
in/vzaliva
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in USA
Advanced 4
Persona
Influencer
#26,845
#44,658
#39,464
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
simpleproxy
49
13
1
updated about 2 years ago • age over 9 years
C
82.8%
Shell
10.4%
Groff
5.1%
Makefile
1.6%
helix
29
4
updated over 1 year ago • age about 9 years
Coq
86.9%
GAP
11.9%
Haskell
0.6%
LLVM
0.4%
OCaml
0.3%
otetris
23
2
2
updated over 6 years ago • age over 10 years
OCaml
100.0%
dashcam-browse
5
2
updated over 5 years ago • age over 5 years
JavaScript
47.7%
HTML
26.2%
Python
26.1%
coq-switch
3
0
7
updated almost 2 years ago • age about 7 years
Coq
100.0%
View all 12 repositories
Last Contributions
2025
cerberus
3 PRs
+7,402
-319
OCaml
71
38
cn
2 PRs
+2,535
-489
OCaml
35
19
tupl-website
1 PR
+15
-1
HTML
0
1
2024
cerberus
~11 PRs
+91
-63
OCaml
71
38
coq-cheri-capabilities
1 PR
+133
-2
Coq
4
2
View all contributions
Latest Updates
14 Oct 2025
Followers Count:
47
49
04 Jan 2025
First seen
Subscribe to vzaliva's GitHub rank updates in your messenger
WhatsApp
Telegram
