Projects
-
Hermes
IBC relayer and library, in Rust.
-
Stainless
Long-time contributor to Stainless, a verification framework for higher-order functional Scala programs developed at LARA at EPFL. Implemented support for typeclasses and ghost state, amongst other things.
-
Oxid (light)
Simple functional programming language with refinement types, powered by Inox. Crafted for my Refine your types! talk.
-
RustySecrets
Rust implementation of Shamir & Adaptative threshold secret sharing schemes.
-
merkle.rs
Rust implementation of a Merkle Tree.
-
mdash
mdash is a Chrome extension which replaces the New Tab page with a light dashboard linked with your bookmarks.
-
Hackers at EPFL
Hackers at EPFL was an association which aimed to promote the hacking culture at EPFL.