| Name | Version | Summary | date |
|---|---|---|---|
| pddl2hoa | 0.1.4 | Convert PDDL planning problems to HOA (Hanoi Omega Automata) format | 2025-07-30 16:14:01 |
| py-tree-sitter-spthy | 1.2.1 | Tree-sitter parser for Spthy language (Tamarin Prover) | 2025-07-30 09:33:39 |
| hour | day | week | total |
|---|---|---|---|
| 134 | 1984 | 10468 | 305638 |