🎰
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
12
results
for sponsorable starred repositories
Clear filter
GUI file synchronization client that can sync with any cloud provider
Automated property based testing for Rust (with shrinking).
GitHub Action to compile LaTeX documents
tools for design and interpretation of haskell programs
Command-line tool to customize Spotify client. Supports Windows, macOS, and Linux.
A community-driven collection of themes for customizing Spotify through Spicetify - https://github.com/spicetify/cli
Dependent type checker using normalisation by evaluation
Typesafe structural diffing of haskell datratypes using generics
Stack/cabal setup for testing xmonad* and configurations