Lib.rs

› 关键词 #gate #solver #boolean #type #build #logical #predicate #client

逻辑

  1. 谓词

    布尔值谓词函数

    v3.1.2 2.8M #predicate #logic #match #combinatorial #boolean

  2. openssl-src

    OpenSSL的源代码和构建它的逻辑

    v300.3.1+3.3.1 1.2M #openssl #build #source #logic #version #assembly

  3. phf_generator

    PHF生成逻辑

    v0.11.2 4.7M #phf #generation #logic #time #details

  4. splr

    Rust中的现代CDCL SAT求解器

    v0.17.2 #sat-solver #sat #satisfiability #logic

  5. luajit-src

    LuaJIT 2.1的源代码和构建它的逻辑

    v210.5.10+f725e44 53K #lua-jit #lua #source #build #intended #mlua-sys #logic

  6. avalog

    带有Prolog-like语法的Avatar逻辑的实验性实现

    v0.7.2 1.4K #avatar #logic #logic-programming #prolog #solver #advanced-research

  7. aws-smithy-query

    为smithy-rs提供的AWSQuery和EC2Query Smithy协议逻辑

    v0.60.7 1.6M #aws-sdk #aws-smithy #query #protocols #serialization #logic #client

  8. rl-core

    令牌桶速率限制器的核心逻辑

    v1.9.0 900 #token-bucket #rate-limiting #logic #limiter #applications #added #consistency

  9. sn_protocol

    安全网络协议

    v0.17.6 1.2K #safe-network #protocols #error-message #networking #module #logic #directory

  10. tor-relay-selection

    用于特定目的选择Tor中继的逻辑

    v0.21.0 3.7K #tor #relay #arti #logic #purposes #whether #order

  11. airlang

    Air编程语言

    v0.5.0 300 #specification-language #specification #logic #solver #formal #language

  12. jsonlogic-rs

    jsonlogic (jsonlogic.com) implemented in Rust

    v0.4.0 210 #json #s-expr #jsonlogic #web #logic #s-expressions

  13. azure_mgmt_logic

    generated REST API bindings

    v0.20.0 #operation #service #azure-rest #azure-sdk #api-bindings #logic #version

  14. sn_registers

    安全网络注册逻辑

    v0.3.16 1.2K #safe-network #register #networking #logic

  15. lsts

    大规模类型系统

    v0.6.34 240 #type #proof #theorem #logic #automated #logic-programming #programming-language

  16. null-kane

    具有添加自定义货币本地化逻辑选项的货币存储库

    v2.2.1 390 #currency #separator #localization #symbol #traits #interface #logic

  17. cnfgen

    从操作生成 DIMACS CNF 公式

    v0.4.0 #cnf #logic #sat

  18. joker_calculus

    Rust 中的 Joker 算法

    v0.11.0 #calculus #advanced-research #joker #philosophy #logic #research

  19. predicates-tree

    将布尔值谓词函数结果以树的形式呈现

    v1.0.11 2.3M #logic #predicate #combinatorial #boolean #match

  20. deno_cache_dir

    Deno 中使用的缓存目录逻辑

    v0.10.3 3.9K #deno #cache #directory #logic #module #cli

  21. volute

    布尔函数实现，表示为查找表（LUT）或积之和（SOP）

    v1.1.5 #lookup-tables #boolean #logic #lut #truth-table

  22. p3-merkle-tree

    Plonky3 梅克尔树逻辑

    v0.2.0 8.7K #merkle-tree #plonky3 #logic

  23. playit-agent-core

    包含创建 playit.gg 代理的逻辑

    v0.17.0 300 #gg #playit #agent #version #website #create #logic

  24. mustache

    Rust 实现的 Mustache

    v0.9.0 39K #templating-engine #template #logic #applications #view #language #render

  25. zig-wraper

    为 zig cc 提供逻辑来修正参数的包装器

    v0.1.0 250 #zig #cc #args #correcting #logic

  26. pocket_prover

    一种快速的、穷举的、自动的一阶逻辑定理证明器

    v0.17.0 #first-order #theorem-prover #logic #prover #solver

  27. logic_tracer

    识别逻辑命题并跟踪其真值，还可以生成真值表（仍在开发中）

    v0.0.10 #calculator #proposition #truth-table #ast #logic #expression

  28. ruma-identifiers-validation

    ruma-common 和 ruma-macros 的验证逻辑

    v0.9.5 5.0K #validation #chat #networking #logic #matrix-org #ruma-common #ruma-macros

  29. rsmonad

    为 idiomatic Rust 提供类似于 Haskell 的 monads

    v0.2.4 #logic #meta-programming #type #proofs #math #metaprogramming #types

  30. relog

    强字符串归一化

    v1.0.13 170 #string #normalization #rewriting #systems #logic #syntax #strongly-normalizing

  31. logic-mesh

    使用基于事件和反应式块的 Rust 编写的控制逻辑引擎

    v0.1.10 120 #logic #reactive #control #low-code #events #wasm

  32. puan-rust

    Puan 包含用于定义线性不等式之间逻辑关系和降阶算法的工具

    v0.1.9 #variables #statement #relationships #logic #linear #value #puanrs

  33. prop

    Rust 中的命题逻辑，具有类型

    v0.47.0 #logic #theorem-prover #theorem #proving #advanced-research #constructive #research

  34. rsfuzzymind

    包括模糊集合运算、基于规则的评估和用于确定优先级的推理的模糊逻辑

    v0.1.0 110 #fuzzy #logic #set-operations #fuzzy-set #inference-engine #fuzzy-logic

  35. airlang_bin

    Air编程语言

    v0.5.0 380 #logic #specification #specification-language #solver #language #formal

  36. ladybug

    一个小型库，用于从程序事件触发逻辑分析仪

    v0.1.1 #debugging #analyzer #logic #channel #events #logic-analyzer #usb

  37. polars-json

    Polars DataFrame 库相关的 JSON 逻辑

    v0.42.0 18K #json #polars #data-frames #logic #intended #object #internal

  38. preset_env_base

    针对各种浏览器的通用逻辑

    v0.5.1 12K #browser #javascript #swc #web #interface #query #logic

  39. p3-circle

    与圆群相关的 Plonky3 逻辑

    v0.2.0 140 #circle #group #logic #plonky3 #relating #unit #operating

  40. p3-interpolation

    Plonky3 插值逻辑

    v0.2.0 8.8K #interpolation #plonky3 #logic

  41. revolt-permissions

    Revolt 后端：权限逻辑

    v0.7.15 150 #revolt #permissions #back-end #logic

  42. implies

    逻辑公式的解析器

    v0.4.5 #tree #binary-tree #graph #binary-operator #parse-tree #logic

  43. funclock_fs

    文件系统锁定器，用于阻止函数并设置基于会话的逻辑

    v0.1.1 250 #lock-file #session #funclock #manage #logic #system #set

  44. bevy_logic

    Bevy 的逻辑门模拟插件

    v0.6.0 #gate #circuit #bevy #logic #simulation #time-step #resources

  45. libreda-logic

    LibrEDA 的逻辑库

    v0.0.3 #logic #boolean #eda #vlsi

  46. gem_version

    Ruby 的 Gem::Version 比较逻辑在 Rust 中

    v0.3.1 500 #ruby #version #comparison #gem #buildpack #heroku #logic

  47. ftvf

    Rust 中编写固定帧率、可变帧率游戏的时态逻辑

    v0.6.0 #frame-rate #logic #variables #gamedev #fixed #render #input

  48. yazi-core

    Yazi 核心逻辑

    v0.3.1 2.1K #file-manager #terminal-file #async-io #file-explorer #yazi #logic #tui

  49. bevy_match3

    为任何 bevy 项目快速添加匹配 3 系统的逻辑库

    v0.4.0 #bevy #bevy-plugin #board #gamedev #board-game #logic #match

  50. event-sourcing

    简化事件源！

    v0.1.20 #cqrs #events #sourcing #event-store #back-end #logic #aggregate

  51. cenv_core

    cenv 项目的内部实现，旨在供不同实现共享

    v1.0.0 140 #cli #logic #cenv #variables #env #shared #different

  52. p3-mds

    Plonky3 MDS 矩阵逻辑

    v0.2.0 9.4K #plonky3 #matrix #mds #logic #transformation

  53. only_torch

    仿造 PyTorch 的个人玩具（仍在构思，请勿下载）AI 框架

    v0.0.8 #machine-learning #ai #neat #logic #torch #tensor

  54. floating-ui-dom

    Rust 版本的 Floating UI，用于网页的 Floating UI。

    v0.0.9 #floating #ui #dom #port #logic #web #original

  55. keri-core

    Key Event Receipt Infrastructure 的核心库

    v0.12.6 240 #key-events #key-pair #receipt #infrastructure #processing #logic #keri

  56. puan-pv

    实现了评估功能的命题逻辑语句

    v0.1.4 #logic #recursion #evaluation #logical #system #proposition #propositional

  57. polyglot_interpreter

    跨平台、跨语言的简单逻辑表达式解释器

    v1.0.1 #interpreter #expression #logical #back-end #logic #frontend #cross-platform

  58. logicng

    创建、操作和求解布尔公式

    v0.1.0-alpha.3 #boolean-formulas #sat-solving #logic

  59. logic-parser

    支持输出为AST、JSON和SVG的逻辑表达式的词法分析和语法分析器

    v1.3.0 #expression-parser #parser #logic #ast-parser #json-input #syntax-tree #syntax-error

  60. propositional

    逻辑

    v0.1.0-alpha.2 #logic #propositional-logic #artificial-intelligence #logical #truth #reasoning #formal

  61. microtype

    简化微类型的创建

    v0.7.6 390 #newtype #microtypes #compile-time #bug #types #primitive #logic

  62. logicgate

    以NAND门为底层逻辑门的图灵完备逻辑门

    v0.3.2 #turing-complete #gate #algorithm #logic #nand #layer #switch

  63. tnt

    数论中的运行时验证证明

    v1.0.2 #logic #number-theory #math #validate

  64. materially

    一个表示材料蕴涵的宏

    v1.0.0 #macro #logic #logical #implication #implies #no-alloc

  65. trilean

    克莱因的三值逻辑（布尔值 + 未知值）

    v1.1.0 22K #logic #kleene #ternary

  66. zusi-protocol

    包含Zusi 3 TCP协议的序列化和反序列化逻辑

    v0.2.1 #deserialize #serialization #zusi #tcp-protocol #logic

  67. versioned-feature-core

    版本功能的最小逻辑

    v1.0.0 1.2K #versioned #logic #platform

  68. librespot-connect

    librespot的发现和Spotify Connect逻辑

    v0.4.2 9.8K #spotify #librespot #connect #discovery #spotify-connect #client #logic

  69. aspic

    ASPIC+ 论证系统和推理引擎

    v0.1.1 #reasoning #ai #logic #argumentation

  70. machine-check-exec

    形式验证工具machine-check

    v0.3.0-alpha-1 #formal-verification #machine #logic #tool #machine-check

  71. rustlogic

    对逻辑公式的解析和处理

    v0.2.1 #logical #logic #parser #circuit #gate

  72. piston-ai_behavior

    AI行为树

    v0.33.0 800 #behavior-tree #ai #behavior #logic #piston #game-ai #state-machine

  73. pocket-relay-database

    用于将数据库逻辑从Pocket Relay服务器隔离的模块

    v0.4.0 #relay-server #pocket #effect #mass #database #game #logic

  74. canrun

    受*Kanren系列语言领域特定语言（DSL）启发的逻辑编程库

    v0.5.0 #logic-programming #logic #dsl #kanren #programming-language

  75. raa_tt

    证明命题演算中的句子

    v0.4.1 #calculus #propositional #sentence #logic #prover #truth #grammar

  76. edger_bevy

    edger.dev为bevy应用程序和库共享的逻辑

    v0.5.0 #bevy #shared #edger #logic #dev #applications #projects

  77. rslogicsim

    用Rust编写的逻辑门/电路仿真器

    v0.1.3 #logic #gate #circuit #simulator

  78. proto-vulcan

    嵌入Rust中的miniKanren家族关系逻辑编程语言

    v0.1.6 #logic-programming #programming-language #logic #programming #language

  79. tetris_core

    无UI或游戏引擎的俄罗斯方块游戏模型

    v0.2.1 #tetris #game-engine #ui #game #logic #rand #model

  80. tailwag_orm_macro_logic

    支持tailwag_orm crate的宏导出逻辑。该crate最终将被弃用并合并到tailwag_orm_macros crate中。

    v0.1.0 #orm #postgresql #macro #tailwag-orm #database #deprecated #logic

  81. tailwag_macro_logic

    支持tailwag crate的宏集合的逻辑

    v0.1.0 #logic #tailwag #macro #collection

  82. conclave-room

    Conclave Room的逻辑

    v0.0.2-pre02 #room #logic #connection #conclave #leader #knowledge #quality

  83. gregex-logic

    gregex crate的逻辑

    v0.1.1 #nfa #regex #automata #logic #node #node-tree #gregex

  84. ibdl-extractors

    在imageboard_downloader中使用的图像板帖子提取器

    v1.9.0 120 #image-board #post #extractor #download #logic #imageboard-downloader #website

  85. onechatsocial-permissions

    Revolt 后端：权限逻辑

    v0.6.16 160 #permissions #logic #revolt #back-end

  86. open_ttt_lib

    提供常见的井字棋逻辑

    v0.2.2 #tic-tac-toe #board-game #game-ai #game-state #logic #strategy #row

  87. logicsim

    可组合、模块化的数字逻辑仿真

    v0.1.7 #gate #digital #simulator #simulation #logic #graph-node #emulator

  88. scad

    使用 Rust 生成 OpenSCAD 模型

    v1.2.2 250 #openscad #variables #models #generate #cargo #logic #object

  89. last_order_logic

    一种实验性的逻辑语言

    v0.2.0 #theorem-prover #logic #theorem #proving #lol #advanced-research

  90. jpegxl-src

    libjxl 及其构建逻辑的源代码

    v0.10.5 200 #jpegxl #build #logic

  91. sturdy-couscous

    Rust 商业逻辑库中的 URI 重定向

    v0.0.4 #business #logic #repo #uri #redirect

  92. truth-values

    生成 N 个布尔值的所有可能组合

    v0.1.0 #logic #boolean #iterator #product #truth-table

  93. replicante_logging

    Replicante 通用日志逻辑

    v0.1.4 #replicante #logging #workspace #logic #submodule #file #shared

  94. bento4-src

    bento4 及其构建逻辑的源代码

    v0.1.3 440 #build #bento4 #logic #how

  95. jsonlogic

    Rust 实现

    v0.5.1 #json #logic #rule #serde-json

  96. pocket_prover-set

    用于对集合属性进行推理的 PocketProver 基础逻辑系统

    v0.5.0 #prover #logic #first-order #solver

  97. librespot-playback

    librespot 的音频播放逻辑

    v0.4.2 10K #audio-playback #librespot #spotify #logic #client

  98. airlang_ext

    Air 编程语言的扩展

    v0.5.0 220 #specification #formal #system-interface #solver #operating-system #specification-language #logic

  99. tailwag_macro_inline

    支持tailwag crate的宏集合的逻辑

    v0.1.0 #macro #tailwag #logic #collection

  100. wgpu-core

    基于wgpu-hal的WebGPU核心逻辑

    v22.1.0 238K #web-gpu #graphics #graphics-api #cross-platform #logic #wgpu-hal #safely

  101. cadical

    CaDiCaL SAT求解器的Rust绑定

    v0.1.14 #sat-solver #sat #solver #satisfiability #minisat #logic

  102. logic_trioxide

    逻辑门模拟库

    v0.1.0 #logic #gate #simulating #api #logic-gate

  103. librespot-metadata

    librespot的元数据逻辑

    v0.4.2 10K #metadata #librespot #spotify #client #logic

  104. librespot-audio

    librespot的音频获取逻辑

    v0.4.2 10K #spotify #audio #librespot #fetching #client #logic

  105. tailwag_forms_macro_logic

    支持tailwag_forms crate的一套宏的逻辑

    v0.1.0 #logic #suite #supporting #macro #tailwag-forms

  106. temex

    用于评估随时间变化的系统的正则表达式类似的时间表达式

    v0.10.0 #regex #logic #polars #temporal-logic #formal-methods #offline-monitor

  107. pocket-relay-client-shared

    口袋中继客户端变体的共享逻辑

    v0.2.1 150 #client #relay #pocket #server #variant #shared #logic

  108. scouter

    逻辑

    v0.2.4-rc.3 700 #python #monitoring #model #data #logic #workflow #production

  109. e114_core

    围绕几个Rust Web框架的便捷包装器，以将业务逻辑与协议处理隔离开来

    v0.3.0 #web-framework #business #logic #error #json-api #protocols #standardized

  110. xbasic

    允许您轻松地将脚本语言添加到项目中。这可以让您的用户编写他们自己的任意逻辑。

    v0.3.2 #脚本语言 #用户定义 #函数 #调用 #逻辑 #计算 #限制

  111. 问题状态

    管理问题状态

    v0.2.0 #问题 #状态 #条件 #解决 #设置 #解决者 #逻辑

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

  112. 生菜

    一个网格逻辑crate，结合Hexx和自定义逻辑，以提供统一的网格逻辑crate

    v0.0.6 #网格 #逻辑 #统一 #结合 #hexx #等距

  113. youlog

    一个日志crate，您可以带来自己的日志逻辑

    v0.1.2 #日志级别 #日志 #日志记录 #逻辑 #跨 #不同

  114. predicates-core

    布尔值谓词函数的API

    v1.0.8 2.3M #谓词 #布尔 #组合 #逻辑 #匹配

  115. cop

    高度高效的谓词证明

    v0.2.0 #一阶 #证明器 #定理证明器 #逻辑

  116. pavex_cli_deps

    一个内部crate，用于在Pavex的CLIs之间共享一些依赖关系管理逻辑，pavex 和 pavexc

    v0.1.47 #pavex #共享 #管理 #pavexc #逻辑 #框架 #健壮

  117. pagino

    处理分页逻辑

    v1.0.5 #分页 #逻辑 #配置 #页面

  118. logic-rs

    支持时态鲁棒语义的逻辑公式的表示

    v0.1.1 #公式 #逻辑 #运算符 #逻辑 #时态 #鲁棒性 #计时

  119. logical_gate

    逻辑门crate

    v0.1.0 #门 #逻辑 #逻辑门 #逻辑

  120. winit_event_helper

    使用回调函数简化winit事件处理

    v0.5.0 #回调 #winit #事件 #辅助 #平坦 #函数 #逻辑

  121. type-fn

    允许以更简单的类型逻辑进行编码，例如用于类型编号系统。

    v0.1.2 #逻辑 #级别 #零 #系统 #简化 #编码 #无符号

  122. dexios-domain

    包含Dexios内部运作和核心逻辑

    v1.0.1 #加密 #安全 #逻辑 #dexios #文件加密 #安全 #加密解密

  123. sc-basic-authorship

    基本实现区块创建逻辑。（polkadot v1.15.0）

    v0.44.0 8.0K #basic #logic #polkadot #substrate #block #block-authoring #factory

  124. tribool

    三值逻辑

    v0.3.0 #logic #three-valued #serde #indeterminate #xor #boolean #three-state

  125. rust-mustache

    Mustache 的纯 Rust 实现

    v0.4.0 #mustache #template #pure #logic #applications #templating-language #et

  126. predicatechecker

    检查一个谓词是否在另一个谓词为真时也为真

    v0.5.2 #predicate #true #another #logic #validity

  127. lemu

    M-LOG 运行器

    v0.2.20 110 #logic #executor #mindustry #emulator #emulation

  128. actinium226-librespot-playback

    librespot 的音频播放逻辑

    v0.4.3 #audio-playback #librespot #logic

  129. logic_gate

    逻辑门

    v0.4.0 #gate #logic #bit #simulation #adder #negative #alu

  130. bevy_spawnable

    Bevy 的小型 spawn 实用工具，用于封装 spawn 逻辑

    v0.1.3 #spawn #tiny #logic #encapsulate #bevy #utility #builder

  131. rusty_backtest

    纯 Rust 中的任何进入/退出策略的超快速回测

    v0.0.3 #backtesting #exit #market #strategy #enter #backtest #logic

  132. mini-kanren

    Rust 中的 miniKANREN

    v0.4.0 #dsl #logic #kanren

  133. rhai-tpl

    使用 rhai 进行逻辑的模板引擎

    v0.1.2 #rhai #template-engine #template #logic #customizable

  134. bitr

    最小的 BitScript 解释器

    v0.1.1 #gate #logic #language #simulator #bitscript #simulation #gates

  135. new_type

    通过类型级逻辑实现的 newtypes 的实验性实现

    v0.4.1 #macro #level #experimental #logic

  136. mini-c-ares-src

    c-ares 的源代码及其使用 cmake 构建的逻辑

    v0.2.1 #c-ares #build #cmake #logic

  137. junglefowl

    一次证明地残酷谋杀 Rust 的类型系统

    v0.1.1 #math #meta-programming #type #proofs #logic #proof #compile-time

  138. 比特切片

    将比特转换成比特切片格式，并在比特切片数据上执行各种操作

    v0.1.1 #bits #logic #math #bit #bitslicing

  139. native-pkcs11-core

    为native-pkcs11共享的跨平台PKCS#11模块逻辑

    v0.2.18 #pkcs11 #pkcs #cross-platform #11 #native-pkcs11 #logic #shared

  140. razor-fol

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

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

  141. sv4state

    SystemVerilog 4状态值库

    v0.2.0 #value #system-verilog #logic #4-state #dpi

  142. super-ttt

    超级井字棋

    v0.2.0 #tic-tac-toe #game #logic #engine

  143. pallet-core-fellowship

    根据中继会核心技术描述的逻辑（polkadot v1.15.0）

    v21.0.0 1.8K #rank #polkadot #logic #period #substrate #fellowship #member

  144. logik

    命题逻辑公式的计算器

    v0.1.0 #logic #calculator #formula #propositional

  145. vet

    任意类型验证

    v0.1.0 #validation #valid #type #logic #wrapped

  146. cnfgen-nand-opt

    为电路生成CNF

    v0.1.1 #cnf #sat #cnfgen #logic

  147. foliage

    带有整数算术的一阶逻辑的抽象语法树

    v0.1.0 #integer-arithmetic #logic #first-order #syntax-tree #abstract #ast #formulas

  148. razor-chase

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

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

  149. propositional_logic

    生成复合命题的真值表

    v0.2.0 #logic #table #compound #proposition #truth #generate #propositional

  150. gpp-solver

    一个小的混合推拉求解器/规划器，兼有双方之优点

    v0.2.2 #solver #graph #logic #reactive #no-std

  151. cudd

    Cudd Rust库

    v0.1.4 #bdd #logic #model-checking #formal-method

  152. actinium226-librespot-connect

    librespot的发现和Spotify Connect逻辑

    v0.4.3 #spotify #connect #librespot #discovery #client #logic

  153. raftmodel

    raft一致性算法的逻辑模型

    v0.1.3 #consensus-algorithm #raft-consensus #logic #model

  154. smartcard

    用于与智能卡通信的PC/SC封装

    v0.3.4 #context #error #pc-sc #protocols #driver #communication #logic

  155. getters0

    Rust Getters Derive 宏：为 Rust 结构体轻松自动生成可定制的 getter 方法

    v0.1.1 #getters #attributes #struct #macro-derive #methods #field #logic

  156. logic-lang

    基于等价图的逻辑结构

    v0.0.2 #graph #equivalence #rewriting #logic #ast

  157. first_order_logic

    一阶逻辑

    v0.1.0 #first-order #logical #forms #logic #predicate #graph #syntax

  158. tbg

    实现回合制游戏逻辑

    v0.1.3 #turn #debugging #logic #game #card #template #layer

  159. cat_solver

    Rust 对 Kissat SAT 求解器的绑定

    v3.1.1 #sat-solver #sat #solver #satisfiability #kissat #logic

  160. babalcore

    Babal 核心逻辑库，与游戏引擎无关的低级别事物

    v0.5.1 #logic #low-level #game-engine #babal #ball

  161. asim

    Async Rust 的离散事件仿真

    v0.1.0 #events #discrete #async #process #task #timer #logic

  162. deferred

    帮助执行代码逻辑的延迟执行

    v1.1.0 #logic #execution #lazy-evaluation #evaluation #lazy

  163. rustollens

    一个小型实验性库，具有布尔值的类型级表示，以及用于编译时逻辑乐趣的伴随连接词

    v0.1.0 #boolean #logic #type-level #type-level-logic

  164. tassl-src

    TASSL 的源代码和构建逻辑

    v0.1.4 #build #tassl #logic #linux

  165. same-as

    稳定 Rust 中的类型等价

    v1.0.0 #meta-programming #type #proofs #logic #math #metaprogramming #types

  166. hypertask_engine

    运行超任务的核逻辑引擎

    v0.2.0 #task #todo #engine #hypertask #logic #run #client

  167. exec-sat

    执行 SAT 求解器并解析 SAT 求解器输出

    v0.1.1 #sat-solver #sat #cnf #logic

  168. logic-long

    在 Rust 中实现了 Supercell 的 Logic Long

    v0.2.0 #logic #long #implemented #supercell

  169. nzscq

    NZSCQ 的核心逻辑

    v0.10.0 #logic #nzscq

  170. hextile

    处理六边形游戏地图的坐标数学和其他逻辑

    v0.1.2 #hexagon #gamedev #tile #logic #hexagonal #math #coordinate

  171. nolan

    Commitlog/WAL 实现和强大的抽象

    v0.1.1 #logic #handles #persistence #commitlog-wal #api #offset #structure

  172. telo

    Rust 中的时间规范

    v0.1.0 #temporal #logic #specification #automata #predicate #properties #safety

  173. fuzzylogic

    模糊集合理论的运算

    v0.2.0 #fuzzy #logic #set #operations #theory

  174. bluebird

    定义组合逻辑中的常见 SKI 组合子

    v0.3.0 #combinator #logic #defines #combinatory #ski #min #phi1

  175. game_inventory

    一个独立于项目数据的库存系统

    v0.2.1 #inventory #slot #framework #logic #traits #helper #sample

  176. parachains-common

    所有并行链运行时共有的逻辑（polkadot v1.15.0）

    v17.0.0 3.8K #parachain #run-time #logic #polkadot #15

  177. openlibspot-metadata

    openlibspot 的元数据逻辑

    v0.6.0 #metadata #openlibspot #logic

  178. ceetle

    计算树逻辑 (CTL) 验证器

    v0.1.0 #logic #automata #testing #tree #verifier #model #verify

  179. pn-editor-core

    Petri 网编辑器的核心逻辑

    v0.12.0 550 #editor #net #petri #logic

  180. sylasteven

    构建模块化引擎的基本逻辑

    v0.1.1 #layer #systems #events #engine #state #modular #logic

  181. logic-circus

    用Rust编写的开源逻辑电路模拟器

    v0.3.0 #circuit #logic #logic-gates #component #simualtor #circus #traits

  182. tikv-openssl-src

    OpenSSL的源代码和构建它的逻辑

    v111.10.3+1.1.1g #openssl #build #logic

  183. fuzzy-expert

    支持Mamdani模糊推理的模糊逻辑库

    v0.1.0 #fuzzy #logic #mamdani

  184. q1tsim-logic-gates

    为q1tsim实现AND、OR和XOR逻辑门，以量子计算（即可逆）方式。

    v0.2.1 #logic #gate #quantum #quantum-computing #computing #science #api-bindings

  185. rustlogic-march1917

    对逻辑公式的解析和处理（从coastalwhite分支而来）

    v0.1.0 #logical #logic #parser #circuit #gate

  186. super-spotify-protocol

    与Spotify服务器通信的protobuf逻辑

    v0.0.2 #spotify #protobuf #server #communicating #logic

  187. saleae

    与saleae设备交互

    v0.1.0 #logic #api #re #reverse #client-connection

  188. aig

    Rust Aig库

    v0.1.0 #logic #model-checking #formal-method

  189. axum_guard_logic

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

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

  190. banquo-hybrid_distance

    为Banquo监视器实现的混合距离

    v0.1.0 #hybrid #distance #temporal #logic #metrics #monitoring #banquo