meling
Professor of Distributed Systems. Interested in dependable and secure systems, blockchains, consensus algorithms, and more.
University of StavangerStavanger, Norway
Pinned Repositories
acmproc
Script to prepare ACM proceedings with page numbers
biblexer
Lexer for bibtex files
grpc-web
gRPC for Web Clients
insperahacks
Inspera Assessment Hacks
meling
proto2
Protobuf to string conversion
urs
Unique Ring Signatures to sign messages anonymously
gorums
Gorums simplify fault-tolerant quorum-based protocols
hotstuff
meling's Repositories
meling/urs
Unique Ring Signatures to sign messages anonymously
meling/biblexer
Lexer for bibtex files
meling/acmproc
Script to prepare ACM proceedings with page numbers
meling/grpc-web
gRPC for Web Clients
meling/insperahacks
Inspera Assessment Hacks
meling/meling
meling/proto2
Protobuf to string conversion
meling/academic-profile
meling/AIS
meling/btcd
An alternative full node bitcoin implementation written in Go (golang)
meling/byzq
meling/go-github-mock
A library to aid unittesting code that uses Golang's Github SDK
meling/meling.github.io
meling/Module-2-CS1
Repository for Module 2 of Campus Advisors
meling/oh-my-zsh-custom
My oh-my-zsh customizations
meling/Paxos-in-Dafny
Paxos consensus algorithm implemented in the functional validation language Dafny
meling/protobuf
Protocol Buffers for Go with Gadgets
meling/quick-look-plugins
List of useful Quick Look plugins for developers
meling/resilientdb
ResilientDB: Global-Scale Sustainable Blockchain Fabric
meling/spacetime
LaTeX package for drawing spacetime diagrams for distributed systems
meling/submit50
This is submit50, CS50's command-line tool for submitting problems.