Lib.rs

› 关键字 #congruence-closure #congruence #rustc #union-find #closures #unification

从Lib.rs提取

  1. ena

    基于rustc的代码，包含并查集、等价闭包和其他统一代码。

    v0.14.3 801K #union-find #unification #closures #congruence #rustc #congruence-closure #extracted

  2. fiat-crypto

    生成的Rust代码

    v0.2.9 872K #fiat #cryptography #extracted #coq

  3. unleash-yggdrasil

    将Unleash SDK领域逻辑提取到库中，便于在任何地方构建自己的Unleash SDK。

    v0.13.0 #unleash #sdk #domain #experimental #extracted #yggdrasil #own

  4. askama_escape

    从Askama提取的优化HTML转义代码

    v0.10.3 396K #escaping #html #askama #template-engine #templating #utilities #extracted

  5. anyscript-compiler

    AnyScript编程语言的编译器和自提取归档

    v0.1.3 #programming-language #archive #compiler #anyscript #self #extracted

  6. shr3

    3位移位寄存器随机数生成器

    v1.0.0 #random #generator #numbers #bits #register #extracted #3-shift

  7. ktls-recvmsg

    从nix crate中提取的代码，用于ktls的recvmsg调用

    v0.2.0 #ktls #extracted #nix #call #recvmsg #wrapper #bits

  8. std-semaphore

    从rust 1.7.0提取的计数、阻塞信号量

    v0.1.0 1.7K #semaphore #counter #blocking #counting #extracted #atomic #documentation

  9. dfhack-proto-srcs

    从源代码下载并提取DFHack protobuf文件

    v0.9.0 #df-hack #protobuf #api-bindings #download #source #proto #extracted

  10. hyperex

    基于超变量区域的提取

    v0.1.1 #region #bioinformatics #file #sequences #extracted #hypervariable #extractor

  11. voile-util

    从Voile语言类型检查器中提取

    v0.2.2 #voile #extracted #level #pest-parser #lisp #universe #unique-id

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

  12. shank_gov_idl

    将 shank derive 宏提取的信息转换为 solita 兼容的 IDL

    v0.3.1 #idl #convert #extracted #information #compatible #macro-derive #shank

  13. readah

    从 https://gitlab.com/news-flash/article_scraper 提取的 Readability 模块的关键组件

    v0.1.4 #readability #extracted #module #article #gitlab #component #com

  14. axum_guard_logic

    使用逻辑在路由层比较提取的数据和预期数据

    v0.3.3 #guard #layer #extracted #data #logic #router #values

  15. minitt-util

    从 Mini-TT 语言类型检查器中提取的 CLI 工具

    v0.2.4 #extracted #utilities #cli #mini-tt #lambda-calculus #type-checker #command

  16. solana-idl-classic

    使用 serde 可序列化和反序列化的 Rust Solana Classic IDL 类型定义

    v0.2.0 140 #definition #idl #serde #solana #type #de-serializable #extracted

  17. hax-lib-macros

    为 Rust 程序提供的 Hax 特定 proc-macros

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

  18. load

    v0.0.2 #load-balancing #task-pool #extracted #general #servo

  19. prty_fmtmodifier

    使用不同的格式选项包装复杂的数据结构，为 bitgraph 库提取

    v0.1.1 #data-structures #formatting #bitgraph #complex #extracted #different

  20. lavalink_rs_macros

    从 command_attr 库中提取的钩子宏

    v0.1.0 160 #hook #macro #extracted #command-attr

  21. crashtag

    已弃用 - 已重命名为 https://crates.io/crates/releasetag - 定义嵌入在 crash-files 'core' 中的 crashtags

    v0.1.1 #deprecated #renamed #analysis #applications #tooling #extracted #io-crates-releasetag