Lib.rs

› Development tools › Cargo plugins

#assurance #high #toolchain

app cargo-hax

Owned by Franziskus Kiefer.

Install
Source

1 unstable release

0.0.0	May 24, 2023

#4 in #assurance

Apache-2.0

1KB

high assurance software toolchain

No runtime deps

Related: hax-cli-options, hax-diagnostics, hax-frontend-exporter-options, hax-subcommands, hax-cli-options-engine, hax-frontend-exporter

See also: crev-lib, cargo-bisect-rustc, cargo-msrv, toolchain_find, rust-releases, volta, proto_core, foreman, dylint-link, ra_ap_toolchain, simd-json

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski. It contains data from multiple sources, including heuristics, and manually curated data. Content of this page is not necessarily endorsed by the authors of the crate. This site is not affiliated with nor endorsed by the Rust Project. If something is missing or incorrect, please file a bug.