Skip to content
Open-Source Registry

Search 3 packages

Found
Build behaviour
Packages1–3 of 3VersionFindingsDescriptionDownloadsWhen
oxiz-proof cargo0.3.4clean Proof generation and checking for OxiZ SMT solver14K2h ago
ruintegrate cargo0.1.57clean Host FP64 finite/infinite quadrature, RK45/BDF1 ODEs and event location3744h ago
prospicio-math cargo0.0.1clean Numerical engine: special functions, small dense linear algebra, root finding, quadrature, optimization.228h ago