🎰
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
Get started with GitHub Packages
Safely publish packages, store your packages alongside your code, and share your packages privately with your team.
Choose a registry
Apache Maven
A default package manager used for the Java programming language and the Java runtime environment.
Learn moreNuGet
A free and open source package manager used for the Microsoft development platforms including .NET.
Learn moreRubyGems
A standard format for distributing Ruby programs and libraries used for the Ruby programming language.
Learn morenpm
A package manager for JavaScript, included with Node.js. npm makes it easy for developers to share and reuse code.
Learn moreContainers
A single place for your team to manage Docker images and decide who can see and access your images.
Learn more