Romain Ruetschi
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
Pull Requests
1,112
Code Reviews
2,646
Top Repositories
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