GitHub - eras/tlsd: Generate (message) sequence diagrams from TLA+ state traces

GitHub Daily Trend - Podcast autorstwa VoiceFeed

https://github.com/eras/tlsd Generate (message) sequence diagrams from TLA+ state traces - eras/tlsd