🎰
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
5
stars
written in Rust
Clear filter
Automated property based testing for Rust (with shrinking).
GUI file synchronization client that can sync with any cloud provider
Implementation of the HotStuff consensus protocol.
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust