depscope
Packages
IntegrateAPI DocsCuratorBenchmarkCoverage
Sign inGet API access
depscope/cargo/libcrux-hacl-rs

libcrux-hacl-rs

cargov0.0.4

Formally verified Rust code extracted from HACL* - helper library

License Apache-2.0permissive8 versions0 deps309,382 weekly dl
cryspen/libcrux
72
/ 100
Health
safe to use

[email protected] is safe to use (health: 72/100)

Health breakdown0 – 100
25/25
maintenance
14/20
popularity
25/25
security
6/15
maturity
2/15
community
Vulnerabilities
0
none known

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/cargo/libcrux-hacl-rs
More from cargo
hashbrowngetrandomwindows-syssyn
Browse all cargo packages →

First published · 2025-02-24T07:09:27.043633Z

Last updated · 2025-11-05T14:30:05.745255Z

DepScope

Package intelligence for AI agents. 19 ecosystems.

Resources
API DocumentationHallucination BenchmarkFor EnterpriseSwagger / OpenAPIPopular PackagesCoverageAI Plugin SetupWatch the pitch (60s)
Legal
Legal hubPrivacy PolicyTerms of ServiceCookie PolicyAcceptable UseAttributionDPASub-processorsSecurityImprintContact中文
© 2026 Cuttalo srl — Italy · VAT IT03242390734Built for AI agents