Hi, I’m Romain Ruetschi, also known as Romac.

I’m a Senior Staff Software Engineer at Circle, based in Switzerland.

My interests include formal methods, functional programming, distributed systems, compiler construction, and operating-system development. I explore these areas primarily through Rust, Scala, and Haskell, while occasionally building small macOS apps for myself.

• corophage — Algebraic effects for stable Rust
• Choreo — Choreographic programming in Scala
• Postino — Postcard-compatible binary serialization for Scala 3

• A programming language with algebraic effects, planned for release later this year
• A deterministic RISC-V hypervisor written in Rust
• A couple of macOS apps that I hope to release soon