Orestis Melkonian's repositories
agda-stdlib-meta
Meta-programming utilities for Agda.
formal-utxo
Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
formal-bitcoin
Formal model of Bitcoin transactions in Agda
formal-bitml
Formalization of the Bitcoin Modelling Language (BitML).
formal-prelude
Simple extension of Agda's standard library for personal use.
setup-agda
Set up your GitHub Actions workflow with a specific version of Agda (+ stdlib + libraries from git repos)
agda2train
Prototyping an Agda backend to generate training data for machine learning.
agda-lenses
Rustic lenses library for Agda, equipped with automatic generic deriving.
nominal-agda
Experiments in nominal techniques for Agda.
agda-minimal-backend
Rustic skeleton for developing a new Agda backend.
agda-stdlib
The Agda standard library
agda-stdlib-classes
Extension of Agda's standard library to accommodate a more typeclass-friendly interface.
cmd-center
Lifting bash functions to executable bash scripts.
contract-automata
Playground for refinement-style verification of EUTxO smart contracts.
formal-bitml-to-bitcoin
Secure compilation from BitML to Bitcoin.
formal-dolev-yao
Playground for formalizing Dolev-yao models in Agda.
formal-ledger-specifications
Formal specifications of the cardano ledger
formal-mtg
A mechanized model of Magic: The Gathering rules.
hoare-ledgers
Separation logic for UTXO-based blockchain ledgers
omelkonian.github.io
My personal webpage
plfa.github.io
Introduction to programming language theory in Agda
presentations
My presentations.
structured-contracts
Playgroup for small-step-style simulation verification of EUTxO smart contracts.