Vladimir Gladshtein

@volodeyka

Open GitHub

🇸🇬 Singapore

National University of Singapore

Profile age: about 6 years

Updated 4 days ago

40 followers • 14 following

Profile Overview

Global Singapore

Rank in Singapore

Advanced 1

Persona

Influencer

#3,092

#4,686

#1,833

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

trust-coq

updated almost 4 years ago • age almost 4 years

Coq99.5%

Makefile0.5%

okasaki

updated over 5 years ago • age over 5 years

Coq99.1%

Makefile0.9%

veri-sparse

updated over 2 years ago • age over 2 years

Dafny63.0%

Coq37.0%

Danan

updated almost 3 years ago • age about 3 years

OCaml97.7%

Makefile2.3%

Last Contributions

2024
loogle
1 PR +92-48
Lean
108
22
coq-lgtm
2 PRs +3,563-9,039
Coq
3
1
1
2023
coq-lgtm
~16 PRs +2,270-834
Coq
3
1
1
2022
event-struct
3 PRs +1,309-251
Coq
16
1
sisyphus
1 PR +3-1
OCaml
11
1

View all contributions

Latest Updates

22 Oct 2025
Followers Count:38 40
08 Oct 2025
Followers Count:37 38
26 Aug 2025
Followers Count:36 37
12 Aug 2025
Followers Count:35 36
16 Jan 2025
First seen

Subscribe to volodeyka's GitHub rank updates in your messenger

WhatsApp Telegram