“Zero setup” cross compilation and “cross testing” of Rust crates

Kani Rust Verifier

A query engine for any combination of data sources. Query your files and APIs as if they were databases!

Microsoft Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas

Fully Homomorphic Encryption library in Rust

Rust SDK for Ledger device applications

Frequency: A Polkadot Parachain