Lib.rs

› 关键词 #specification-language #verification #side-effect #succinct #tls

hacspec

  1. bertie

    最小化 TLS 1.3 实现

    v0.1.0-pre.2 #tls #verification #hacspec #succinct #side-effect #protocols #version

  2. hacspec

    编译器

    v0.2.0-beta.4 #compiler #formal-verification #single-file #cargo-build #specification-language #cryptography #sure

  3. hacspec-lib

    hacspec 库

    v0.1.0-beta.1 #hacspec #standard #attributes #statistics #specification #programs #specification-language

  4. hacspec-util

    hacspec 工具

    v0.1.0-beta.1 #hacspec #utilities #status #across #hold #set #necessary

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

  5. hacspec-attributes

    hacspec 属性

    v0.1.0-beta.1 #hacspec #attributes #status #hold #necessary #repository #outside