Lib.rs

› 关键词 #business #zen #rules #engine #expression-language #verification

#side-effect

  1. bertie

    最小的 TLS 1.3 实现

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

  2. zen-parser

    Zen 表达式语言解析器

    v0.2.1 #expression-language #expression-parser #business #rules #side-effect #zen #engine

  3. zen-vm

    Zen 表达式语言虚拟机

    v0.2.1 #expression-language #virtual-machine #business #rules #side-effect #engine #zen

  4. second_law

    一个二进制集成测试瑞士军刀，兼容 Stainless

    v0.3.1 #integration-tests #binary #output-stream #second #side-effect #binaries #assertions

  5. contralog

    使用幺半群和逆变函子组合的日志记录

    v0.0.1 #logger #monoid #composable #contravariant #functors #input #side-effect

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