Lib.rs

› 关键词 #translation #language #formal-verification #ast #tool #helper #back-end

hax

  1. hax-lib

    Hax程序特定的Rust助手

    v0.1.0-pre.1 370 #formal-verification #hax #helper #programs #toolchain #compiled #effect

  2. hax-diagnostics

    hax诊断助手crate

    v0.1.0-pre.1 #hax #ast #back-end #translation #typed #language #extract

  3. hax-cli-options

    hax CLI选项

    v0.1.0-pre.1 #hax #translation #formal-verification #language #ast #command #tool

  4. hax-lib-macros-types

    Hax内部类型

    v0.1.0-pre.1 380 #hax #payload #types #attributes #tool #hax-internal

  5. hax-subcommands

    高保障翻译工具链

    v0.1.0-pre.1 #language #hax #translation #assurance #high #back-end #json

  6. hax-frontend-exporter-options

    hax前端选项

    v0.1.0-pre.1 #hax #translation #ast #formal-verification #json #language #tool

  7. hax-cli-options-engine

    hax CLI选项引擎助手crate

    v0.1.0-pre.1 #hax #back-end #translation #engine #formal-verification #helper #ast

  8. hax-frontend-exporter

    hax前端导出助手crate

    v0.1.0-pre.1 #front-end #variables #now #hax #exporter #helper #mode

    9. 尝试使用DuckDuckGo搜索搜索。

  9. hax-lib-macros

    Hax程序特定的proc-macros

    v0.1.0-pre.1 380 #proc-macro #hax #programs #ensure #requires #define #extracted

  10. hax-adt-into

    hax adt into 助手crate

    v0.1.0-pre.1 #hax #adt #tool #helper #structure #language #specification