Lib.rs

› 关键字 #facade #logging #info #trace #api #warn #logic #geometric

#razor

  1. log

    Rust的轻量级日志门面

    v0.4.22 12.2M #logging #facade #razor #info #trace #api #warn

  2. bar-rubble

    快速生成用于在swaybar或类似界面查看的输出

    v0.5.2 #output #swaybar #weather #mouse #generate #razor #level

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

  3. razor-fol

    一阶理论的解析和句法操作

    v0.1.0 #razor #first-order #parser #geometric #logic

  4. razor-chase

    实现了一种Chase算法的变体，用于寻找几何形式的理论的模型

    v0.1.0 #razor #geometric #chase #model-finder #logic

  5. razor-libzfs

    libzfs的底层接口

    v0.12.0 #zfs #razor #api-bindings #open-zfs #libzfs #interface #low-level

  6. sharp

    Razor Sharp 对称加密算法

    v0.2.0 #symmetric #cipher #razor

  7. razor

    用于构建一阶理论有限模型的命令行工具

    v0.1.0 #chase #model-finder #command-line-tool #logic

  8. razor-libzfs-sys

    libzfs FFI绑定

    v0.12.0 #zfs #bindings #razor #api-bindings #open-zfs #libzfs