Search
TypeScript · By kingbootoshi
1 skill found.
Category:
Skills
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Design and verify state machines using the TLA PreCheck TypeScript DSL. | kingbootoshi/ | 113 | — | ~1.4k | Automated safety check: Pass | No licence | 6 mo ago |
