IBC relayer and library, in Rust.
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.
Simple functional programming language with refinement types, powered by Inox. Crafted for my Refine your types! talk.
Rust implementation of Shamir & Adaptative threshold secret sharing schemes.
Rust implementation of a Merkle Tree.
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.