avatar

Romain Ruetschi

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

Lausanne, Switzerland
Joined on Jul, 2009120 repositories

Pull Requests

1,121

Code Reviews

2,651

Activity Feed (Latest 20)

commented on pull request informalsystems/malachite#1149

9 hours ago

reviewed a pull request in informalsystems/malachite

9 hours ago

commented on pull request informalsystems/malachite#1148

9 hours ago

reviewed a pull request in informalsystems/malachite

9 hours ago

commented on pull request informalsystems/malachite#1143

a day ago

reviewed a pull request in informalsystems/malachite

a day ago
!

commented on issue informalsystems/malachite#1140

6 days ago

created a branch romac/sync-fix-invalid-pending-request in informalsystems/malachite

6 days ago
!

commented on issue informalsystems/malachite#1136

6 days ago
!

commented on issue informalsystems/malachite#1140

6 days ago

pushed to main in romac/romac

6 days ago

created a repository null in romac/romac

6 days ago

created a branch main in romac/romac

6 days ago

created a branch v0.4.x in informalsystems/malachite

7 days ago

deleted branch romac/host-no-consensus-ref at informalsystems/malachite

7 days ago

merged a pull request in informalsystems/malachite

7 days ago

Description of `WatchEvent` isn't defined

8 days ago

pushed to romac/host-no-consensus-ref in informalsystems/malachite

8 days ago
!

commented on issue informalsystems/malachite#942

8 days ago

Description of `WatchEvent` isn't defined

9 days ago