| Name | Version | Summary | date |
|---|---|---|---|
| composites | 0.7.1 | Methods for analysis and design of composites | 2024-09-02 11:58:13 |
| omega | 0.4.0 | Symbolic algorithms for solving games of infinite duration. | 2024-02-16 15:25:15 |
| tensor-theorem-prover | 0.14.0 | Customizable first-order logic theorem prover supporting approximate vector similarity in unification | 2023-02-07 17:24:31 |
| hour | day | week | total |
|---|---|---|---|
| 67 | 1340 | 7375 | 281762 |