🎰
PhD @ University of Edinburgh
Formal Methods @input-output-hk
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
-
Input Output (IOG)
- Kirkwall, Orkney, Scotland
- https://omelkonian.github.io
- https://orcid.org/0000-0003-2182-2698
- @omelkoni
- @omelkonian@mathstodon.xyz
Highlights
- Pro
Stars
3
stars
written in Shell
Clear filter
GitHub Action to compile LaTeX documents
Collection of scripts and tweaks to adapt Ubuntu and Linux Mint ISO images to let them run smooth on Dell XPS 15 9560.
Stack/cabal setup for testing xmonad* and configurations