Rankings
Badges
/
umazalakain
Rankings
Badges
Overview
Ranks
Repositories
Languages
Uma Zalakain
@umazalakain
Refresh
Open GitHub
🇬🇧 Glasgow, Scotland
Profile age: almost 14 years
Updated 4 days ago
115 followers • 5 following
Contacts
ping@umazalakain.info
https://umazalakain.info/
Organizations
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 5
Persona
Contributor
#163,834
#97,485
#102,014
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
typing-linear-pi
29
4
updated over 3 years ago • age over 5 years
TeX
63.5%
Agda
36.5%
agda-bcam
27
4
updated almost 4 years ago • age about 4 years
Agda
74.2%
HTML
12.8%
TeX
5.7%
CSS
5.0%
Haskell
2.3%
errata
27
2
7
updated over 1 year ago • age almost 2 years
Scala
100.0%
lightweight-motion
Archived
23
0
updated almost 10 years ago • age over 12 years
Python
100.0%
qinfluxdb
20
6
updated over 11 years ago • age over 11 years
Python
100.0%
View all 8 repositories
Last Contributions
2024
grackle
1 PR
+116
-18
Scala
183
29
53
contentful-import
1 PR
+108
-15
TypeScript
103
40
416
2021
diary
1 PR
+25
-42
Java
295
59
105
shine
~29 PRs
+763
-520
Scala
83
13
DependentLinearPi
1 PR
+32
-57
Agda
15
2
View all contributions
Latest Updates
20 Oct 2025
Followers Count:
116
115
07 Sep 2025
Followers Count:
115
116
24 Aug 2025
Followers Count:
114
115
10 Aug 2025
Followers Count:
115
114
12 Jul 2025
Followers Count:
114
115
04 Jan 2025
First seen
Subscribe to umazalakain's GitHub rank updates in your messenger
WhatsApp
Telegram
