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
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%
CoqPL19-paper
2
2
updated almost 7 years ago • age about 7 years
TeX
95.9%
Coq
4.1%
coq-min-imports
1
1
3
updated almost 3 years ago • age about 9 years
OCaml
100.0%
coq-log-analysis
1
1
updated over 5 years ago • age over 8 years
OCaml
81.9%
Makefile
18.1%
emacs-tree-sitter-highlight
1
0
updated 8 months ago • age 8 months
paco
0
1
updated over 7 years ago • age about 8 years
Coq
98.7%
Makefile
1.3%
Show more - 10 of 12 shown
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
2023
compiler-explorer
1 PR
+214
-0
TypeScript
18,120
1,942
opam
2 PRs
+71
-0
OCaml
149
174
cerberus
2 PRs
+1,105
-749
OCaml
71
38
coq-cheri-capabilities
2 PRs
+10
-5
Coq
4
2
2022
StructTact
1 PR
+1
-1
Coq
24
8
1
Show more
