Hi, my name is Romain Ruetschi, or just Romac.
My main areas of interest are related to functional programming, type theory, compiler construction, and formal verification of software. I like exploring these topics in Haskell, Scala, and Rust.
PGP Key fingerprint (email@example.com):
02A8 0B86 4B97 1E10 BDE3 EA5E 5122 3DE6 C814 84B9
Rust implementation of threshold Shamir's secret sharing.
Rust implementation of Merkle trees.
mdash is a Chrome extension which replaces the New Tab page with a light dashboard linked with your bookmarks.
Hackers at EPFL was an association which aimed to promote the hacking culture at EPFL.