romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
- Name: Romain Ruetschi
- Location: Lausanne, Switzerland
- Company: @informalsystems
- Kind: user
- Followers: 270
- Following: 302
- Total stars: 1129
- Repositories count: 100
- Created at: 2022-11-02T18:46:45.523Z
- Updated at: 2024-04-14T22:05:37.743Z
- Last synced at: 2024-04-14T22:05:23.913Z
Active Sponsorships
Past Sponsorships
View AllSponsorship Breakdown by Kind
- Organization: 1
- User: 1