Skip to content
Open-Source Registry

Search 9 packages

Found
Reviewed
Build behaviour
Packages1–9 of 9VersionFindingsVulnsDescriptionDownloadsWhen
neco-eigensolve-certified cargo0.2.0nonenonecertified forward-error bounds and frequency enclosures for generalized eigenvalue problems102d ago
feral cargo0.19.0nonenoneSparse symmetric indefinite direct solver in pure Rust, with certified inertia counts.26K5d ago
axiolid-reference cargo0.3.8nonenonePortable scalar reference implementation and certified predicates1.9K3d ago
neco-algnum cargo0.1.2nonenoneexact real algebraic numbers with certified root isolation7672d ago
neco-expr cargo0.2.0nonenoneexact expression graphs with certified floating-point approximations5512d ago
cortiq-decision cargo0.8.19nonenoneCortiq Decision: typed decisions (choice, score, yes/no) from one CMF file — a native BERT encoder, a hashing contract and certified resonance skills, an…36710h ago
toktier-store-core cargo0.3.0nonenoneSession store core for toktier: append-only text-to-token-ids sessions with certified extension, block-hash prefix sharing, and a strict on-disk record format…2669h ago
camazotz cargo0.1.1nonenoneCertified erasure: per-subject keys, crypto-shredding with verified decrypt-failure, consent revocation, incidental-mention purging, and signed…159d ago
neco-cad-import cargo0.3.0nonenoneCertified region import from mesh and analytic shells142d ago