| Name | Version | Summary | date |
|---|---|---|---|
| itf-py | 0.2.2 | Python library to parse and emit Apalache/Quint traces in ITF JSON | 2025-07-25 19:48:32 |
| PyUPC-EAN | 2.12.16 | A barcode library/module for python. | 2024-11-23 02:35:13 |
| PyTempCalc | 0.4.0 | A barcode library/module for python. | 2024-10-22 23:25:32 |
| PyDiceRand | 0.3.4 | A barcode library/module for python. | 2024-10-22 23:10:01 |
| hour | day | week | total |
|---|---|---|---|
| 92 | 1908 | 10266 | 303546 |