Romain Ruetschi romac

🔮

Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems

Sponsoring

romac /README.md

💡 Passionate about Formal Methods, Functional Programming, Distributed Systems, Compiler Construction, and OS Development
🛠️ I typically explore these topics in Rust, Scala, and Haskell
👨‍💻 Currently working as a Senior Staff Software Engineer at Circle
🇨🇭 Based in Lausanne, Switzerland
🗓️ On GitHub since July 2009
💾 My first computer was a Macintosh Classic
🍎 The first programming language I learned is AppleScript

corophage corophage Public

Algebraic effects for stable Rust

Rust 7
cargo-stitch cargo-stitch Public

A Cargo subcommand that applies source-level patches and ast-grep rules to workspace crates before compilation.

Rust 2
libp2p-scatter libp2p-scatter Public

lip2p protocol for broadcasting messages to connected peers

Rust 1
choreo choreo Public

Choreographic programming in Scala

Scala 10 1
circlefin/malachite circlefin/malachite Public

Flexible BFT consensus engine in Rust

Rust 427 129
epfl-lara/stainless epfl-lara/stainless Public

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

Scala 400 58