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