Rankings
Badges
/
DimaSamoz
Rankings
Badges
Overview
Ranks
Repositories
Languages
Dima Szamozvancev
@DimaSamoz
Refresh
Open GitHub
🇬🇧 Cambridge, United Kingdom
Profile age: almost 10 years
Updated 6 days ago
39 followers • 1 following
Contacts
ds709@cam.ac.uk
https://www.cl.cam.ac.uk/~ds709/
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 1
Persona
Creator
#79,094
#2,556,674
#356,327
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
mezzo
364
12
2
updated over 6 years ago • age about 9 years
Haskell
100.0%
agda-soas
55
5
1
updated about 3 years ago • age over 4 years
Agda
90.4%
Python
9.6%
temporal-type-systems
5
0
updated over 7 years ago • age almost 8 years
Agda
100.0%
twork-app
0
0
updated over 9 years ago • age almost 10 years
Java
100.0%
Last Contributions
2017
acs-category-theory-notes-2017
2 PRs
+1,009
-5
TeX
14
5
10
website
1 PR
+1
-1
HTML
0
1
View all contributions
Latest Updates
13 Sep 2025
Followers Count:
40
39
16 Aug 2025
Avatar:
changed
Followers Count:
39
40
06 Jan 2025
First seen
Subscribe to DimaSamoz's GitHub rank updates in your messenger
WhatsApp
Telegram
