GitHub - eras/tlsd: Generate (message) sequence diagrams from TLA+ state traces
GitHub Daily Trend - Un pódcast de VoiceFeed
https://github.com/eras/tlsd Generate (message) sequence diagrams from TLA+ state traces - eras/tlsd Powered by VoiceFeed. https://voicefeed.web.app?utm_source=apple_githubtrenddaily&utm_medium=podcast Developer:https://twitter.com/_horotter
