Orestis Melkonian

https://omelkonian.github.io [email protected]

Input Output (IOG) Kirkwall, Orkney, Scotland PhD @ University of Edinburgh Formal Methods @input-output-hk Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification

Results 2 repositories owned by


                                            Orestis Melkonian

AlgoRhythm

18

Stars

1

Forks

Watchers

AlgoRhythm: A Haskell library for algorithmic music composition.

omelkonian

rewrite-inspector

20

Stars

2

Forks

Watchers

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.

omelkonian