Name | Version | Summary | date |
---|---|---|---|
composites | 0.7.0 | Methods to calculate properties of laminated composite materials | 2024-03-15 13:38:18 |
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 |
---|---|---|---|
27 | 1893 | 9801 | 203557 |