Lib.rs

› 关键字 #bindings #cryptography #verified #callback #robotics #once

形式上

  1. safe_drive

    形式化指定的 ROS2 Rust 绑定

    v0.4.3 2.7K #initialization #ros2 #robotics #callback #bindings #formally #once

  2. libcrux

    形式化验证的加密库

    v0.0.2-pre.2 1.0K #verified #security #cryptography #encryption #formally #specification #proofs

  3. hacl-star

    HACL*, 为 Rust 提供形式化验证的加密库（绑定到 hacl-c）

    v0.1.0 #cryptography #verified #binding #hacl #hacl-c #formally

  4. libjade-sys

    libjade 的 Rust 绑定，libjade 是用 jasmin 编写的形式化验证的加密库

    v0.0.2-pre.2 650 #bindings #cryptography #verified #libjade #formal-verification #jasmin #formally

  5. libjade

    libjade 的 Rust 绑定，libjade 是用 jasmin 编写的形式化验证的加密库

    v0.0.1-dev.1 #bindings #cryptography #jasmin #verified #formally

    6. 尝试使用 DuckDuckGo 进行搜索。

  6. 最后

    形式化 std::finally

    v0.0.1 #state #formally #shared #try #closures #mutable #run