项目
在 GitHub 查看
quint-co/quint
quint-co/quint has 2,077 GitHub stars and 163 forks. GitHot measured +7 stars in 24 hours and +167 in 7 days. Last checked 2026-11-11 14:13 UTC. Last push 2026-11-02.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
实测星标增长
- 24小时
- +7
- 7天
- +167
- 15天
- 更新延迟
- 1个月
- 更新延迟
各周期内的星标净变化，周期相互重叠，并非每日新增。缺失的测量保持空白。星标代表关注度，不代表软件质量。
README.md
原文quint/README.md