Trains

Trains 是 Rust 写的 total-order broadcast 实现，主打 leaderless 协议和形式化验证。它处理的是多个节点在没有固定 leader 的情况下仍对事件顺序达成一致的问题。项目看点在于把分布式协议、实现语言和验证工件放在同一个仓库脉络中，而不是只给论文伪代码。