Name: Orestis Melkonian
Type: User
Company: University of Edinburgh
Bio: PhD @ University of Edinburgh
Formal Methods @input-output-hk
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
Twitter: omelkoni
Location: Kirkwall, Orkney, Scotland
Blog: https://omelkonian.github.io
Orestis Melkonian's Projects
My configuration files
Github actions for Haskell CI
Agda is a dependently typed programming language / interactive theorem prover.
Rustic lenses library for Agda, equipped with automatic generic deriving.
Rustic skeleton for developing a new Agda backend.
The Agda standard library
Extension of Agda's standard library to accommodate a more typeclass-friendly interface.
Meta-programming utilities for Agda.
Compiling Agda code to readable Haskell
Rust backend for Agda.
Prototyping an Agda backend to generate training data for machine learning.
A collection of solutions to famous AI problems.
Airplane classification from black-white images.
AlgoRhythm: A Haskell library for algorithmic music composition.
Battlecode MIT's programming competition for 2017.
Access articles, reports and multimedia content in HEP
CAES Language for Synchronous Hardware
Lifting bash functions to executable bash scripts.
My solutions to CodinGame problems.
Playground for refinement-style verification of EUTxO smart contracts.
Cryptography exercises.
Distributed image convolution using 3 different frameworks.
Meta-grammar utilities for multi-dimensional Dyck languages.
Visualization tools for the Dyck language.
An experimental comparison of two Frequent Itemset Mining techniques.
Formal model of Bitcoin transactions in Agda
Formalization of the Bitcoin Modelling Language (BitML).
Secure compilation from BitML to Bitcoin.
Playground for formalizing Dolev-yao models in Agda.