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