Search 3 packages
| Packages1–3 of 3 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| contracts cargo | 0.6.11 | clean | Design-by-contract attributes | 2M | 3d ago |
| car-validator cargo | 0.56.1 | clean | Precondition checking and action validation for Common Agent Runtime | 5.1K | 9h ago |
| hybit-precond cargo | 0.8.0 | clean | Jacobi, block Jacobi, two-level coarse, local Cholesky, and weighted Schwarz preconditioners for HyBIT | 55 | 18h ago |
