Rankings
Badges
/
omelkonian
Rankings
Badges
Overview
Ranks
Repositories
Languages
Orestis Melkonian
@omelkonian
Refresh
Open GitHub
🇬🇧 Kirkwall, Orkney, Scotland
Input Output (IOG)
Profile age: about 10 years
Updated 1 day ago
130 followers • 212 following
Contacts
melkon.or@gmail.com
https://omelkonian.github.io
@omelkoni
@omelkonian@mathstodon.xyz
Organizations
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 4
Persona
Influencer
#232,060
#748,575
#89,282
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
AlgoRhythm
21
1
updated over 7 years ago • age almost 8 years
Haskell
65.0%
TeX
33.6%
Shell
1.4%
rewrite-inspector
21
2
updated about 6 years ago • age over 6 years
Haskell
100.0%
formal-utxo
14
2
updated about 1 year ago • age almost 7 years
Agda
100.0%
agda2rust
8
0
updated about 1 year ago • age almost 2 years
Haskell
44.3%
Rust
27.5%
Agda
26.7%
CSS
0.8%
Makefile
0.7%
formal-prelude
7
1
updated about 1 year ago • age about 6 years
Agda
100.0%
View all 26 repositories
Last Contributions
2025
agda2hs
3 PRs
+7
-6
Agda
194
46
agda-stdlib-meta
~8 PRs
+547
-85
Agda
20
4
agda-sets
1 PR
+1
-1
Agda
4
2
agda-stdlib-classes
~9 PRs
+7
-3
Agda
4
3
2024
agda
1 PR
+84
-53
Haskell
2,746
387
14
View all contributions
Latest Updates
14 Nov 2025
Followers Count:
128
130
17 Oct 2025
Followers Count:
130
128
02 Oct 2025
Followers Count:
131
130
04 Sep 2025
Followers Count:
129
131
21 Aug 2025
Followers Count:
130
129
05 Jan 2025
First seen
Subscribe to omelkonian's GitHub rank updates in your messenger
WhatsApp
Telegram
