bachmanity1's starred repositories
distsys-class
Class materials for a distributed systems lecture series
awesome-tlaplus
A curated list of TLA+ resources.
tiered-storage-for-apache-kafka
RemoteStorageManager for Apache Kafka® Tiered Storage
kafka-tlaplus
TLA+ specifications for Kafka related algorithms