#假设

  1. mirai-annotations

    提供MIRAI源代码注解的宏

    v1.12.0 578K #verification #macro #condition #assume #mirai #verify #annotations
  2. p3-keccak-air

    为Plonky3实现的Keccak AIR

    v0.2.0 8.8K #air #keccak #permutation #size #field #assume #plonky3
  3. betacode2

    用于转换到和从betacode的快速Rust库

    v1.0.6 #betacode #linguistics #biblical-greek #beta-code #assume
  4. fork-map

    在由fork()产生的子进程中运行操作

    v0.1.3 #child-process #parallel #concurrency #cursed #assume
  5. 假设

    Rust中声明不安全假设的宏

    v0.5.0 100 #compiler-optimization #macro #assert #unsafe #path #unreachable #run-time
  6. source_map_gen

    用于Source Engine游戏的WIP映射生成器和库

    v0.1.0 #source #generator #engine #assume #generation #fs #change
  7. 尝试使用DuckDuckGo搜索

  8. embedded-async-timer

    嵌入式设备的异步定时器

    v0.1.0 #embedded-devices #timer #hal #async #embedded #assume
  9. iced-cpuid

    显示x86/x64二进制文件使用的CPUID功能和指令编码

    v1.0.0 #x86-64 #cpuid #x86 #amd64 #disassembler #assume