Loading...
OM
Orestis Melkonian
@omelkonianPhD @ University of Edinburgh Formal Methods @input-output-hk Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
133 Followers
215 Following
AI Insights & Achievements
40/ 100
Veteran
Coding for 11 years.
Profile README
Public Repos
80
Total Stars
131
Total Forks
15
Public Gists
3
Top Languages
Based on primary language of repositories
Recent Activity
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
High productivity periods
Most active day: January 22nd, 2026 • 11 contributions
Most active week: Jan 19–Jan 25 • 29 contributions
Most active month: Mar 2025 • 131 contributions
Pushed to hakyll at omelkonian/omelkonian.github.io
January 30th, 2026 9:13 PM
Pushed to main at input-output-hk/formal-jolteon
January 27th, 2026 4:26 PM
closed issue in input-output-hk/formal-jolteon
January 27th, 2026 4:26 PM
Pushed to main at input-output-hk/formal-jolteon
January 27th, 2026 4:24 PM
DeleteEvent on agda/agda2lambox
January 22nd, 2026 4:06 PM
merged pull request in agda/agda2lambox
January 22nd, 2026 4:06 PM
Pushed to master at agda/agda2lambox
January 22nd, 2026 4:06 PM
opened pull request in agda/agda2lambox
January 22nd, 2026 4:06 PM
Created branch ci/deploy-html in agda/agda2lambox
January 22nd, 2026 4:06 PM
DeleteEvent on agda/agda2lambox
January 22nd, 2026 2:39 PM