will62794

will62794

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
227 Stars
16 Forks
2 Watchers

🏆 Show off this rank

will62794 on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

Repositories (1)

spectacle will62794/spectacle JavaScript

Interactive playground for exploring and sharing TLA+ specifications in the browser.

227