Search 31 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–30 of 31	Version	Findings	Description	Downloads	When
tla-checker cargo	0.23.3	4 vulnerabilities 4	A TLA+ model checker written in Rust	2.6K	1d ago
tla-mc cargo	0.1.1	clean	A fast TLA+ model checker: compiles a spec into a native, parallel checker; state counts measured exact against TLC	16	2h ago
baracuda-cutlass-sys cargo	0.0.1-alpha.86	1 detection 1	Header acquisition for NVIDIA CUTLASS as a baracuda workspace dependency. Sparse-checkout fetch with file-locked caching; emits cargo:include for downstream…	3.7K	22h ago
baracuda-cutlass-kernels-sys cargo	0.0.1-alpha.86	4 detections 4	Compiled CUTLASS template instantiations for the baracuda ecosystem. Hosts curated .cu kernel sources, builds them via baracuda-forge, exposes extern "C" entry…	3.5K	21h ago
baracuda-cutlass cargo	0.0.1-alpha.86	4 detections 4	Safe Rust wrapper for compiled CUTLASS kernels: plan-based GEMM and grouped GEMM with caller-supplied workspace, typed device-buffer arguments, and…	3.1K	19h ago
sandogasa-gitlab cargo	0.25.3	clean	GitLab REST and GraphQL API client for issues and work items	1.4K	1d ago
ironflow-ops-gitlab cargo	0.1.32	clean	GitLab integration for Ironflow workflows, powered by the gitlab crate	839	18h ago
monochange_gitlab cargo	0.17.1	clean	GitLab release payload rendering and publishing for monochange	792	14h ago
repame-atlas cargo	0.3.11	clean	CPU-side rectangle packing and GPU upload queue	338	22h ago
stackless-gitlab cargo	0.4.0	clean	GitLab hosting substrate for stackless	231	5h ago
threatflux-atlassian-sdk cargo	0.5.2	clean	Async Rust SDK for focused Jira Cloud REST API automation	187	23h ago
atlasauth cargo	0.6.3	clean	Official Atlas backend verification crate: local RS256 session-token verification against a cached JWKS, plus API-key verification. The Rust peer of…	108	2d ago
spechtlabs-sigil cargo	0.7.3	clean	Embed Sigil, a typed policy language, in Rust: the Go engine as a WebAssembly module on wasmtime	54	2d ago
ironsocketlayer cargo	0.3.2	clean	Agentic-first TLS 1.3 and QUIC-TLS in pure Rust over IronCrypto, with a machine-readable ontology	50	9h ago
lance-bitpacking cargo	13.0.0	clean	Vendored copy of https://github.com/spiraldb/fastlanes for use in Lance	3M	20h ago
baracuda-kernels-types cargo	0.0.1-alpha.86	clean	Shared type vocabulary for the baracuda ML kernel facade: Element / IntElement / FpElement / BiasElement trait hierarchy, layout / epilogue / activation tags,…	18K	22h ago
baracuda-forge cargo	0.0.1-alpha.86	clean	Build-time CUDA kernel compiler for the baracuda ecosystem: nvcc-driven incremental builds, parallel compilation, GPU auto-detection, and CUTLASS / custom git…	4.2K	22h ago
baracuda-kernels-sys cargo		not built 0.0.1-alpha.86 did not build	Compiled bespoke .cu kernel template instantiations for the baracuda ML kernel facade plus C-ABI FFI facades for the library-backed plans (cuDNN conv/pool,…	3.1K	20h ago
baracuda-kernels cargo		not built 0.0.1-alpha.86 did not build	Unified ML op facade for the baracuda CUDA ecosystem. Exposes every primitive an ML framework would expect (union of PyTorch torch.* + nn.functional and JAX…	1.3K	17h ago
hanzo-flash-attn-build cargo	0.11.10	clean	Build-time helper that fetches and resolves the pinned NVIDIA CUTLASS include directory for the hanzo flash-attention CUDA kernels.	1.1K	1d ago
car-nlp cargo	0.56.1	clean	Natural-language primitives for CAR — language id, tokenization, named-entity recognition, sentiment. Apple NaturalLanguage framework on macOS; pure-Rust…	815	6h ago
baracuda-ozimmu cargo		not built 0.0.1-alpha.86 did not build	Safe Rust wrapper for baracuda's clean-fork of Hiroyuki Ootomo's ozIMMU — Ozaki-scheme FP64 GEMM that synthesizes a DGEMM from S^2 int8 tensor-core matmuls.…	644	20h ago
forgetop-providers cargo	1.6.1	clean	GitHub, GitLab, Azure DevOps, Bitbucket, Linear, and Jira clients for forgetop. Internal crate: no API stability guarantees, use the `forgetop` binary instead.	251	2d ago
ironlab cargo	0.10.4	clean	MATLAB-flavoured Rust API for building, viewing and exporting scientific figures.	149	14h ago
specodelic cargo	0.5.2	2 notes 2	Specodelic — a markdown specification format (Intent / Constraints / Model / Properties) and the `spk` CLI that lints, compiles, verifies, and refactors it	117	2d ago
repame-anim cargo	0.3.11	clean	animation catalogs, atlas packing, and frame players	101	22h ago
athena-krylov cargo	0.2.0	clean	CPU and GPU iterative linear solvers for Atlas	56	1d ago
isl-ontology cargo	0.3.2	clean	The IronSocketLayer ontology: TLS 1.3 and QUIC protocol knowledge as closed-vocabulary data for agents	56	11h ago
isl-cli cargo	0.3.2	clean	isl: the IronSocketLayer command line and MCP server	37	5h ago
fbui-render cargo	0.5.0	clean	fbui rendering layer: a headless, CPU software renderer for Linux framebuffer UIs. A tiny-skia painter (rects, paths, gradients, clipping, opacity groups,…	33	1d ago