Rankings
Badges
/
konnov
Rankings
Badges
Overview
Ranks
Repositories
Languages
igor@konnov.phd
@konnov
Refresh
Open GitHub
🇦🇹 Vienna, Austria
konnov.phd
Profile age: almost 15 years
Updated 9 days ago
69 followers • 21 following
Contacts
igor@konnov.phd
https://konnov.phd
@k0nn0v
Profile Overview
Global
Austria
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 3
Persona
Influencer
#330,155
#653,330
#185,062
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
bymc
21
7
updated over 2 years ago • age over 8 years
C
47.9%
HTML
32.0%
OCaml
16.5%
C++
2.4%
SWIG
1.2%
fault-tolerant-benchmarks
14
5
updated almost 5 years ago • age almost 11 years
F*
97.8%
Mako
1.3%
Shell
0.6%
Python
0.1%
TLA
0.1%
protocols-made-fun
10
0
updated 4 months ago • age almost 2 years
HTML
46.8%
TLA
29.4%
SCSS
11.3%
Ruby
7.4%
Python
5.1%
leanda
9
0
updated 19 days ago • age 6 months
Lean
100.0%
tlaki
5
0
updated about 1 year ago • age over 1 year
TLA
100.0%
View all 6 repositories
Last Contributions
2025
quint
~6 PRs
+15
-10
TypeScript
1,050
94
59
apalache
2 PRs
+51
-5
Scala
494
44
131
era-consensus
1 PR
+3,750
-363
Rust
71
40
17
ssf-mc
3 PRs
+18
-15
TeX
8
0
2024
quint
~6 PRs
+49
-21
TypeScript
1,050
94
59
View all contributions
Latest Updates
06 Sep 2025
Starred Repositories Count:
126
128
Followers Count:
68
69
23 Aug 2025
Following Count:
3
21
09 Aug 2025
Starred Repositories Count:
124
126
Followers Count:
64
68
26 Jul 2025
Starred Repositories Count:
122
124
Followers Count:
65
64
12 Jul 2025
Starred Repositories Count:
120
122
Followers Count:
62
65
12 Jan 2025
First seen
Subscribe to konnov's GitHub rank updates in your messenger
WhatsApp
Telegram
