| Name | Version | Summary | date |
|---|---|---|---|
| itf-py | 0.4.0 | Python library to parse and emit Apalache/Quint traces in ITF JSON | 2025-07-28 21:33:05 |
| tree-sitter-tlaplus | 1.5.0 | A tree-sitter grammar for TLA⁺ and PlusCal | 2024-10-20 15:59:32 |
| hour | day | week | total |
|---|---|---|---|
| 49 | 1489 | 10303 | 312469 |