avatar

Romain Ruetschi

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

Lausanne, Switzerland
Joined on Jul, 2009118 repositories

Pull Requests

1,112

Code Reviews

2,646

Top Repositories

#
Repository
Stars
Forks
Issues (open)
Contributors

Activity Feed (latest 50)

reviewed a pull request in informalsystems/malachite

Jul 3, 2025, 8:09 PM

Description of `WatchEvent` isn't defined

Jul 3, 2025, 2:31 PM

Description of `WatchEvent` isn't defined

Jul 3, 2025, 9:12 AM

Description of `WatchEvent` isn't defined

Jun 28, 2025, 6:31 PM

Description of `WatchEvent` isn't defined

Jun 26, 2025, 2:51 PM

Description of `WatchEvent` isn't defined

Jun 26, 2025, 2:51 PM

opened a pull request in informalsystems/malachite

Jun 26, 2025, 2:19 PM

created a branch romac/recv-proposal-msg in informalsystems/malachite

Jun 26, 2025, 2:17 PM

Description of `WatchEvent` isn't defined

Jun 26, 2025, 12:04 PM

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

Jun 26, 2025, 11:29 AM

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

Jun 26, 2025, 10:17 AM

opened a pull request in informalsystems/malachite

Jun 26, 2025, 9:50 AM

created a branch romac/host-no-consensus-ref in informalsystems/malachite

Jun 26, 2025, 9:50 AM

pushed to bastien/parallel-sync in informalsystems/malachite

Jun 24, 2025, 4:17 PM

deleted branch romac/bump-0.4.0-pre at informalsystems/malachite

Jun 24, 2025, 4:17 PM

pushed to main in informalsystems/malachite

Jun 24, 2025, 4:17 PM

merged a pull request in informalsystems/malachite

Jun 24, 2025, 4:17 PM

opened a pull request in informalsystems/malachite

Jun 24, 2025, 4:10 PM

pushed to romac/bump-0.4.0-pre in informalsystems/malachite

Jun 24, 2025, 4:10 PM

created a branch romac/bump-0.4.0-pre in informalsystems/malachite

Jun 24, 2025, 4:10 PM

commented on issue informalsystems/malachite#1095

Jun 24, 2025, 4:08 PM

commented on pull request informalsystems/malachite#1095

Jun 24, 2025, 4:07 PM

reviewed a pull request in informalsystems/malachite

Jun 24, 2025, 4:07 PM

commented on issue informalsystems/malachite#1098

Jun 24, 2025, 3:45 PM

deleted branch rhaki/borsh at informalsystems/malachite

Jun 24, 2025, 3:45 PM

created a branch rhaki/borsh in informalsystems/malachite

Jun 24, 2025, 3:44 PM

commented on issue informalsystems/malachite#1098

Jun 24, 2025, 2:45 PM

Description of `ReleaseEvent` isn't defined

Jun 24, 2025, 2:39 PM

created a tag v0.3.0 in informalsystems/malachite

Jun 24, 2025, 2:38 PM

deleted branch release/v0.3.0 at informalsystems/malachite

Jun 24, 2025, 2:37 PM

pushed to main in informalsystems/malachite

Jun 24, 2025, 2:37 PM

merged a pull request in informalsystems/malachite

Jun 24, 2025, 2:37 PM

reviewed a pull request in informalsystems/malachite

Jun 24, 2025, 2:28 PM

pushed to bastien/parallel-sync in informalsystems/malachite

Jun 24, 2025, 2:28 PM

deleted branch anca/try_request_fsm at informalsystems/malachite

Jun 24, 2025, 2:28 PM

merged a pull request in informalsystems/malachite

Jun 24, 2025, 2:27 PM

commented on issue maelstrom-software/maelstrom#490

Jun 24, 2025, 2:26 PM

pushed to release/v0.3.0 in informalsystems/malachite

Jun 24, 2025, 1:54 PM

reviewed a pull request in informalsystems/malachite

Jun 24, 2025, 1:52 PM

commented on pull request informalsystems/malachite#1104

Jun 24, 2025, 1:52 PM

reviewed a pull request in informalsystems/malachite

Jun 24, 2025, 1:52 PM

commented on pull request informalsystems/malachite#1104

Jun 24, 2025, 1:51 PM

reviewed a pull request in informalsystems/malachite

Jun 24, 2025, 1:51 PM

commented on pull request informalsystems/malachite#1104

Jun 24, 2025, 1:49 PM

reviewed a pull request in informalsystems/malachite

Jun 24, 2025, 1:49 PM

pushed to anca/try_request_fsm in informalsystems/malachite

Jun 24, 2025, 1:26 PM

commented on pull request informalsystems/malachite#1104

Jun 24, 2025, 1:21 PM

reviewed a pull request in informalsystems/malachite

Jun 24, 2025, 1:22 PM

commented on pull request informalsystems/malachite#1098

Jun 24, 2025, 1:20 PM

reviewed a pull request in informalsystems/malachite

Jun 24, 2025, 1:20 PM