Search 6 packages

Found detections shipping vulnerabilities yanked

Build behaviour fetched outside the registry undeclared fetch fetch went into the output linked a downloaded binary read credentials connected outside the registry

Packages1–6 of 6	Version	Findings	Description	Downloads	When
antecedent-expr cargo	2.2.0	clean	Arena-backed symbolic IR for causal functionals (estimands) in the Antecedent engine; start with the `antecedent` crate	993	2d ago
symplex cargo	0.34.0	clean	Exact symbolic mathematics for Rust: calculus, summation, solving, linear algebra, transforms, compile-time dimensional analysis, and Rust/C code generation	919	1h ago
symplex-build cargo	0.34.0	clean	Build-time code generation for symplex: derive symbolic equations and emit optimized no_std Rust	660	1h ago
wm-gen3-shm cargo	10.2.0-alpha.6	clean	WhiteMagic Gen3 — Zero-Copy POSIX Shared Memory Sub-Symbolic Substrate	56	1d ago
semq cargo	1.0.0	clean	Safe Rust bindings to the SEMQ core: deterministic symbolic encoding of float32 vectors.	20	2d ago
smtlite cargo	0.1.0	clean	A small, pure-Rust QF_BV SMT solver: bitvector expressions bit-blasted to CNF and solved by a self-contained DPLL core.	7	4h ago