Search 3 packages
| Packages1–3 of 3 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| oxiz-proof cargo | 0.3.4 | clean | Proof generation and checking for OxiZ SMT solver | 14K | 2h ago |
| ruintegrate cargo | 0.1.57 | clean | Host FP64 finite/infinite quadrature, RK45/BDF1 ODEs and event location | 374 | 4h ago |
| prospicio-math cargo | 0.0.1 | clean | Numerical engine: special functions, small dense linear algebra, root finding, quadrature, optimization. | 22 | 8h ago |
