Orestis Melkonian
@omelkonian2023-2026: Formal Methods @input-output-hk, 2019-2023: PhD @ University of Edinburgh, Interests: Programming Languages, Type Theory, Formal Verification
Language Breakdown
Lines of code distribution across 65 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Haskell
Collaboration Network
Global Impact visualization
Repos
104
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Danel Ahman
@danelahman
François-René Rideau
@fare
Anja Petković Komel
@anjapetkovic
Max S. New
@maxsnew
Siddharth
@bollu
Top Repositories
AlgoRhythm: A Haskell library for algorithmic music composition.
A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of small languages.
Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
Rust backend for Agda.
Prototyping an Agda backend to generate training data for machine learning.
Simple extension of Agda's standard library for personal use.
Investigating different ways of modelling a minimal process calculus in Agda.
Formal model of Bitcoin transactions in Agda
Several grammars for automatic music composition using Probabilistic Temporal Graph Grammars (PTGG).
Set up your GitHub Actions workflow with a specific version of Agda (+ stdlib + libraries from git repos)
Open Source Impact
Contributions to external projects
