aidenybai/tla-ts

• 类型：github
• 标识：aidenybai/tla-ts
• 链接：https://github.com/aidenybai/tla-ts
• 主分类：engineering
• 形态：model
• 分类：trending
• Stars：125
• 周增：+0
• 语言：TypeScript
• 许可：MIT
• 最近提交：2026-11-02
• 简介：A TLA+ interpreter and model checker in TypeScript
• 上次采集：2026-11-02
• 首次采集：2026-11-02
• 待LLM分类：是
• 成熟度：experimental
• 来源文件：
• [GitHub Search]