Romain Ruetschi
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
Pull Requests
1,121
Code Reviews
2,651
Top Repositories
# | Repository | Stars | Forks | Issues | Contributors |
---|---|---|---|---|---|
1 | romac/cargo-build-deps | 12 | 2 | 0 | -1 |
2 | romac/choreo | 5 | 1 | 0 | -1 |
3 | romac/genawaiter2 | 3 | 0 | 2 | -1 |
4 | romac/ADAProject | 3 | 0 | 0 | -1 |
5 | romac/him | 2 | 0 | 0 | -1 |
6 | romac/AstroVim | 2 | 0 | 0 | -1 |
7 | romac/futures-await | 1 | 0 | 0 | -1 |
8 | romac/Askull | 1 | 0 | 0 | -1 |
9 | romac/Alfred-BitcoinStats | 1 | 1 | 0 | -1 |
10 | romac/haskell-tool | 0 | 0 | 0 | -1 |
Activity Feed (Latest 20)
commented on pull request informalsystems/malachite#1149
reviewed a pull request in informalsystems/malachite
commented on pull request informalsystems/malachite#1148
reviewed a pull request in informalsystems/malachite
commented on pull request informalsystems/malachite#1143
reviewed a pull request in informalsystems/malachite
commented on issue informalsystems/malachite#1140
created a branch romac/sync-fix-invalid-pending-request in informalsystems/malachite
commented on issue informalsystems/malachite#1136
commented on issue informalsystems/malachite#1140
pushed to main in romac/romac
created a repository null in romac/romac
created a branch main in romac/romac
created a branch v0.4.x in informalsystems/malachite
deleted branch romac/host-no-consensus-ref at informalsystems/malachite
merged a pull request in informalsystems/malachite
Description of `WatchEvent` isn't defined
pushed to romac/host-no-consensus-ref in informalsystems/malachite
commented on issue informalsystems/malachite#942
Description of `WatchEvent` isn't defined