romac user
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
Romain Ruetschi · Lausanne, Switzerland · @informalsystems · 270 followers · 1,129 stars · 100 repositories · joined November 2022
Active Sponsorships
fasterthanlime
Past Sponsorships
hachyderm
wez
Sponsoring 1 organization, 2 users · View all on GitHub
Last synced about 17 hours ago · View JSON representation