Spectacle – A browser-native playground for TLA+

(github.com)

2 points | by we6251 4 hours ago ago