Trains
Leaderless total-order broadcast library in Rust with formal verification.
Why it made the shelf
Trains is a software development tool and library implemented in Rust for total-order broadcast.
Seen on
- First seen
- 3 months ago
- Best score
- 4 points · 1 comments
Behind the tool
Who built it. How it grew.
People, backing, growth, and ownership. Every claim links to its source.
Official sitegithub.com
Source review queued
Public trail
Where it showed up
1 reference from 1 publisher.
- First trace
- Hacker News3 months ago
- Discussion
- 1 comments
- 01Hacker NewsFirst trace
leaderless total-order broadcast in Rust, formally verified