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 2 days ago
130 followers • 212 following
Contacts
melkon.or@gmail.com
https://omelkonian.github.io
@omelkoni
@omelkonian@mathstodon.xyz
Organizations
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%
formal-process-calculus
6
0
updated over 6 years ago • age over 6 years
Agda
100.0%
agda2train
5
1
updated 7 months ago • age over 2 years
Haskell
59.7%
Agda
33.9%
Makefile
3.1%
Shell
1.9%
Nix
1.4%
formal-bitcoin
5
0
updated about 1 year ago • age about 6 years
Agda
100.0%
ghc-fork
3
0
updated almost 7 years ago • age over 7 years
Haskell
84.5%
C
11.0%
Makefile
2.2%
Terra
1.8%
Logos
0.5%
formal-bitml
3
0
updated about 1 year ago • age almost 7 years
Agda
100.0%
Show more - 10 of 26 shown
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
agda-stdlib
3 PRs
+894
-150
Agda
632
260
16
agda2hs
~6 PRs
+288
-129
Agda
194
46
agda-stdlib-meta
1 PR
+7
-7
Agda
20
4
europroofnet.github.io
1 PR
+6
-0
Ruby
13
66
agda-stdlib-classes
3 PRs
+103
-118
Agda
4
3
Show more
