Pull Requests
219
Code Reviews
820
Top Repositories
# | Repository | Stars | Forks | Issues | Contributors |
---|---|---|---|---|---|
1 | hvanz/PaxosInPluscal | 3 | 1 | 0 | -1 |
2 | hvanz/tlaplus | 0 | 0 | 0 | -1 |
3 | hvanz/tendermint | 0 | 0 | 0 | -1 |
4 | hvanz/slides | 0 | 0 | 0 | -1 |
5 | hvanz/MinPaxos | 0 | 0 | 0 | -1 |
6 | hvanz/kafka-connect-transform-xml | 0 | 1 | 0 | -1 |
7 | hvanz/jepsen | 0 | 0 | 0 | -1 |
8 | hvanz/hvanz.github.io | 0 | 0 | 0 | -1 |
9 | hvanz/Examples | 0 | 0 | 0 | -1 |
10 | hvanz/CommunityModules | 0 | 0 | 0 | -1 |
Activity Feed (Latest 20)
commented on issue informalsystems/malachite#1135
pushed to hvanz/sync-batching in informalsystems/malachite
commented on pull request informalsystems/malachite#1130
reviewed a pull request in informalsystems/malachite
commented on pull request informalsystems/malachite#1130
reviewed a pull request in informalsystems/malachite
commented on pull request informalsystems/malachite#1130
reviewed a pull request in informalsystems/malachite
commented on pull request informalsystems/malachite#1130
reviewed a pull request in informalsystems/malachite
pushed to hvanz/sync-batching in informalsystems/malachite
pushed to main in informalsystems/malaketh-layered
merged a pull request in informalsystems/malaketh-layered
pushed to main in informalsystems/malaketh-layered
merged a pull request in informalsystems/malaketh-layered
pushed to main in informalsystems/malaketh-layered
merged a pull request in informalsystems/malaketh-layered
pushed to main in informalsystems/malaketh-layered
merged a pull request in informalsystems/malaketh-layered
pushed to hvanz/sync-batching in informalsystems/malachite