Rankings
Badges
/
anton-trunov
Rankings
Badges
Overview
Ranks
Repositories
Languages
Anton Trunov
@anton-trunov
Refresh
Open GitHub
🇦🇪 Dubai
https://tonstudio.io
Profile age: about 13 years
Updated 9 days ago
346 followers • 137 following
Contacts
@falsenov
Organizations
Profile Overview
Global
United Arab Emirates
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 5
Persona
Influencer
#202,609
#74,157
#27,200
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
csclub-coq-course-spring-2021
57
14
updated over 2 years ago • age over 4 years
HTML
65.3%
JavaScript
16.1%
Coq
8.4%
CSS
7.4%
SCSS
2.8%
coq-lecture-notes
54
10
updated almost 5 years ago • age over 6 years
Coq
71.8%
HTML
28.2%
ssreflect-london-tydd-meetup
6
1
updated over 4 years ago • age over 4 years
HTML
59.1%
JavaScript
26.7%
SCSS
7.8%
CSS
4.0%
Coq
2.3%
fold-tutorial-talk
3
0
updated over 7 years ago • age over 7 years
TeX
79.0%
Coq
21.0%
scilla-posts
1
0
updated about 6 years ago • age about 6 years
View all 7 repositories
Last Contributions
2025
tact
~74 PRs
+228
-24
TypeScript
652
204
85
web-ide
1 PR
+22
-125
TypeScript
159
28
tact-template
3 PRs
+44
-20
TypeScript
100
50
tact-language-server
3 PRs
+87
-23
TypeScript
21
7
17
tact.vim
1 PR
+96
-97
Vim Script
19
2
2
View all contributions
Latest Updates
05 Sep 2025
Followers Count:
347
346
22 Aug 2025
Starred Repositories Count:
782
780
Followers Count:
343
347
08 Aug 2025
Followers Count:
341
343
25 Jul 2025
Starred Repositories Count:
783
782
Followers Count:
339
341
27 Jun 2025
Followers Count:
337
339
07 Jan 2025
First seen
Subscribe to anton-trunov's GitHub rank updates in your messenger
WhatsApp
Telegram
