Pinned Repositories
bbhash
Implementation of the BBHash minimal perfect hash function
certree
epaxos
Original EPaxos modified to use protobuf and Gorums.
gorums
Gorums simplify fault-tolerant quorum-based protocols
goxos
A Go-based Paxos Implementation.
hotstuff
iago
Infrastructure as Go!
smartmerge
A collection of algorithms for reconfigurable atomic storage.
thesis-proposals
Master and Bachelor Thesis Proposals for the Reliable Systems Lab
wrfs
Extension interfaces for io/fs
Resilient Systems Lab's Repositories
relab/hotstuff
relab/gorums
Gorums simplify fault-tolerant quorum-based protocols
relab/thesis-proposals
Master and Bachelor Thesis Proposals for the Reliable Systems Lab
relab/wrfs
Extension interfaces for io/fs
relab/certree
relab/iago
Infrastructure as Go!
relab/bbhash
Implementation of the BBHash minimal perfect hash function
relab/byzq
Byzantine Quorum Protocol
relab/credbench
relab/DPoS-simulations
A general framework for simulating delegated proof-of-stake
relab/equilibriumchecker
relab/gossig-simulations
relab/libra-bbchain-port
This project is adopted from the libra project-1.0.1 (https://github.com/libra/libra) and has been adapted to publish modules and run arbitrary transaction script locally as the default setting. It also includes a custom rust package for custom libra modules developed for document verification in libra blockchain
relab/raft
Raft Consensus with Gorums
relab/rebop-simulations
relab/snarl-mw21
Snarl code for Middleware 2021
relab/bandwidth-incentive-simulation
relab/bchain
BChain implementation in Go
relab/byzq-master
relab/credcontracts
relab/DCApp
relab/defect-detection
relab/ethereum-client
Scripts for running ethereum on a private cluster
relab/go-credbindings
relab/go-incentive-simulation
This repository contains implementation of the swarm bandwidth incentive simulation written in Go.
relab/iniva
relab/iniva-artifacts
Source code and results for the Iniva paper
relab/iniva-simulations
Iniva simulations
relab/interview
Tasks for interviews
relab/libra-kubernetes-document-verification