Search 35 packages
| Packages31–35 of 35 | Version | Risk | Vulns | Description | Downloads | When |
| oxiz-theories cargo | 0.3.4 | none | none | Theory Solvers (EUF, Arithmetic, BitVectors) for OxiZ | 15K | 11d ago |
| scico_rs cargo | 0.2.1 | none | none | SCIcoRS — a unified scientific-computing and simulation kernel: sparse & dense linear algebra, ODE/DAE solvers, mesh/field workflows, checkpointing,… | 8 | 11d ago |
| degenbot-solvers cargo | 0.6.0-alpha.14 | none | none | Value-only multi-hop arbitrage solver math — Möbius closed-form (V2/CL) + golden-section (Solidly/Curve/Balancer) + QuantAMM basket, with the hop-state intake… | 292 | 12d ago |
| degenbot-bot cargo | 0.6.0-alpha.14 | none | none | Rust-owned bot state (BotState) + Möbius solvers + unified Uniswap V2/V3/V4 engine. | 247 | 12d ago |
| athena-krylov cargo | 0.2.0 | none | none | CPU and GPU iterative linear solvers for Atlas | 56 | 13d ago |