Resilient Systems Lab (@relab)
Guthub

relab

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

hotstuff

Go
172
star
2

gorums

Gorums simplify fault-tolerant quorum-based protocols
Go
137
star
3

goxos

A Go-based Paxos Implementation.
Go
24
star
4

smartmerge

A collection of algorithms for reconfigurable atomic storage.
Go
8
star
5

thesis-proposals

Master and Bachelor Thesis Proposals for the Reliable Systems Lab
3
star
6

wrfs

Extension interfaces for io/fs
Go
3
star
7

epaxos

Original EPaxos modified to use protobuf and Gorums.
3
star
8

iago

Infrastructure as Go!
Go
2
star
9

certree

Solidity
2
star
10

byzq

Byzantine Quorum Protocol
Go
1
star
11

gossig-simulations

Python
1
star
12

DPoS-simulations

A general framework for simulating delegated proof-of-stake
Python
1
star
13

bbhash

Implementation of the BBHash minimal perfect hash function
Go
1
star
14

credbench

Go
1
star
15

rebop-simulations

Jupyter Notebook
1
star
16

equilibriumchecker

TLA
1
star
17

rkv

Raft key-value store using Gorums/gRPC
Go
1
star
18

raft

Raft Consensus with Gorums
Go
1
star
19

gridq

Grid quorum example for Gorums
Go
1
star
20

snarl-mw21

Snarl code for Middleware 2021
Go
1
star