vsr-tlaplus

★ 52 Open GitHub ↗

TLA+ specifications related to Viewstamped Replication

Explore Similar Repositories

init-commit : Find the initial commit of a repository.
netflix : An Android application for streaming movies (*free)
Payload-Byte : Payload-Byte is a tool for extracting and labeling packet capture (Pcap) files of modern network intrusion detection datasets.
lunar-launcher-inject : Patches the lunar launcher to enable agent attaching & devtools
go-spdx : Golang implementation of a checker for determining if an SPDX ID satisfies an SPDX Expression.
// repository documentation