formal-driver cargo 0.0.1 clean Placeholder that reserves the formal-driver name (part of cargo-formal). Proprietary software of COOLJAPAN OU; this release has no functionality. 8 3d ago formal-oxilean cargo 0.0.1 clean Placeholder that reserves the formal-oxilean name (part of cargo-formal). Proprietary software of COOLJAPAN OU; this release has no functionality. 8 3d ago formal-oxiz cargo 0.0.1 clean Placeholder that reserves the formal-oxiz name (part of cargo-formal). Proprietary software of COOLJAPAN OU; this release has no functionality. 8 3d ago formal-report cargo 0.0.1 clean Placeholder that reserves the formal-report name (part of cargo-formal). Proprietary software of COOLJAPAN OU; this release has no functionality. 8 3d ago formualizer-cli cargo 0.11.0 4 vulnerabilities 4 16h ago wim-format cargo 0.1.0 clean 1d ago tokio cargo not built 1.53.2 did not build An event-driven, non-blocking I/O platform for writing asynchronous I/O backed applications. 1.0B 3d ago toml cargo 1.1.7+spec-1.1.0 clean A native Rust encoder and decoder of TOML-formatted files and streams. Providesimplementations of the standard Serialize/Deserialize traits for TOML data… 977M 6h ago toml_edit cargo 0.25.16+spec-1.1.0 clean Yet another format-preserving TOML parser. 879M 6h ago powerfmt cargo 0.2.1 clean `powerfmt` is a library that provides utilities for formatting values. This crate makes it significantly easier to support filling to a minimum width with… 580M 2d ago toml_parser cargo 1.1.4+spec-1.1.0 clean Yet another format-preserving TOML parser. 328M 6h ago diesel cargo 2.3.14 clean A safe, extensible ORM and Query Builder for PostgreSQL, SQLite, and MySQL 39M 17h ago comrak cargo 0.56.0 1 vulnerability 1 A 100% CommonMark-compatible GitHub Flavored Markdown parser and formatter 8M 1d ago sp-trie cargo 47.0.0 clean Patricia trie stuff using a parity-scale-codec node format 7M 16h ago lance cargo not built 13.0.0 did not build A columnar data format that is 100x faster than Parquet for random access. 4M 23h ago lance-core cargo 13.0.0 clean Lance Columnar Format -- Core Library 4M 1d ago lance-linalg cargo 13.0.0 clean A columnar data format that is 100x faster than Parquet for random access. 4M 1d ago lance-file cargo not built 13.0.0 did not build Utilities for the Lance file format 4M 1d ago lance-table cargo not built 13.0.0 did not build Utilities for the Lance table format 4M 1d ago lance-encoding cargo not built 13.0.0 did not build Encoders and decoders for the Lance file format 4M 1d ago lance-datagen cargo 13.0.0 clean A columnar data format that is 100x faster than Parquet for random access. 3M 1d ago libcrux-hacl-rs cargo 0.0.6 clean Formally verified Rust code extracted from HACL* - helper library 3M 1d ago libcrux-sha2 cargo 0.0.9 clean Formally verified SHA2 hash library 3M 1d ago libcrux-p256 cargo 0.0.9 clean Formally verified P-256 implementation 3M 1d ago re_build_info cargo 0.39.0-alpha.1 clean Information about the build. Use together with re_build_tools 2M 1d ago libcrux-chacha20poly1305 cargo 0.0.10 clean Formally verified ChaCha20-Poly1305 AEAD library 2M 1d ago libcrux-poly1305 cargo 0.0.7 clean Formally verified Poly1305 MAC library 2M 1d ago libcrux-curve25519 cargo 0.0.9 clean Formally verified curve25519 ECDH library 2M 1d ago hpke-rs-libcrux cargo 0.8.0 clean Crypto backend for HPKE using formally verified code from libcrux. 2M 1d ago libcrux-aead cargo 0.0.10 clean Formally verified AEAD library 2M 1d ago 