Repositories list

• hotstuff

  Public
  Go

  •

  MIT License

  •64•208•56•10•Updated Oct 19, 2025Oct 19, 2025

• gorums

  Public
  Gorums simplify fault-tolerant quorum-based protocols

  grpcquorumrpc-framework+ 1quorum-call

  Go

  •

  MIT License

  •14•146•31•19•Updated Oct 17, 2025Oct 17, 2025

• thesis-proposals

  Public
  Master and Bachelor Thesis Proposals for the Reliable Systems Lab

  2•3•0•0•Updated Oct 15, 2025Oct 15, 2025
  < 8000 /li>

• optilog_artifacts

  Public
  Go

  •

  MIT License

  •0•0•0•0•Updated Sep 21, 2025Sep 21, 2025

• iago

  Public
  Infrastructure as Go!

  Go

  •

  MIT License

  •2•4•2•0•Updated Jul 15, 2025Jul 15, 2025

• container

  Public
  Stripped down Go API for managing Docker containers

  Go

  •

  Apache License 2.0

  •0•0•0•0•Updated Jul 7, 2025Jul 7, 2025

• bbhash

  Public
  Implementation of the BBHash minimal perfect hash function

  Go

  •

  MIT License

  •2•2•8•1•Updated Mar 31, 2025Mar 31, 2025

• credbench

  Public archive
  Go

  •0•1•6•1•Updated Apr 9, 2024Apr 9, 2024

• iniva-artifacts

  Public
  Source code and results for the Iniva paper

  Go

  •0•1•1•0•Updated Apr 4, 2024Apr 4, 2024

• iniva

  Public
  Go

  •0•0•1•0•Updated Apr 4, 2024Apr 4, 2024

• bandwidth-incentive-simulation

  Public
  Go

  •

  MIT License

  •2•0•9•4•Updated Feb 27, 2024Feb 27, 2024

• DPoS-simulations

  Public
  A general framework for simulating delegated proof-of-stake

  Python

  •1•2•0•0•Updated Feb 8, 2024Feb 8, 2024

• iniva-simulations

  Public
  Iniva simulations

  Python

  •0•0•0•0•Updated Nov 24, 2023Nov 24, 2023

• rebop-simulations

  Public
  Jupyter Notebook

  •1•0•0•1•Updated Jul 19, 2023Jul 19, 2023

• go-incentive-simulation

  Public
  This repository contains implementation of the swarm bandwidth incentive simulation written in Go.

  Go

  •1•0•0•0•Updated Jun 19, 2023Jun 19, 2023

• equilibriumchecker

  Public
  TLA

  •0•0•0•0•Updated Jun 12, 2023Jun 12, 2023

• gossig-simulations

  Public
  Python

  •0•0•0•0•Updated Apr 19, 2023Apr 19, 2023

• ethereum-client

  Public
  Scripts for running ethereum on a private cluster

  0•0•0•0•Updated Feb 10, 2023Feb 10, 2023

• defect-detection

  Public
  0•0•0•0•Updated Feb 10, 2023Feb 10, 2023

• certree

  Public
  Solidity

  •

  MIT License

  •0•2•9•5•Updated Jun 3, 2022Jun 3, 2022

• wrfs

  Public
  Extension interfaces for io/fs

  Go

  •

  MIT License

  •1•4•0•0•Updated Apr 16, 2022Apr 16, 2022

• snarl-mw21

  Public
  Snarl code for Middleware 2021

  Go

  •0•1•0•0•Updated Oct 29, 2021Oct 29, 2021

• go-credbindings

  Public
  Go

  •0•0•0•0•Updated Jun 28, 2021Jun 28, 2021

• credcontracts

  Public
  JavaScript

  •

  MIT License

  •0•0•0•0•Updated Jun 27, 2021Jun 27, 2021

• interview

  Public
  Tasks for interviews

  Jupyter Notebook

  •0•0•0•0•Updated Oct 16, 2020Oct 16, 2020

• libra-bbchain-port

  Public
  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

  Rust

  •

  Apache License 2.0

  •1•1•0•0•Updated Sep 18, 2020Sep 18, 2020

• libra-kubernetes-document-verification

  Public
  HTML

  •1•0•0•0•Updated Sep 18, 2020Sep 18, 2020

• byzq-master

  Public
  Go

  •1•0•0•0•Updated Feb 15, 2020Feb 15, 2020

• DCApp

  Public
  Swift

  •1•0•0•0•Updated Jun 11, 2019Jun 11, 2019

• raft

  Public
  Raft Consensus with Gorums

  Go

  •

  MIT License

  •1•1•2•0•Updated Aug 23, 2018Aug 23, 2018