逻辑

  1. datafusion-expr

    DataFusion查询引擎的逻辑计划与表达式表示

    v41.0.0 746K #expression #data-fusion #expressions #plan #logical #datafusion #apache-arrow
  2. arrow-schema

    定义arrow数组逻辑类型

    v52.2.0 1.2M #arrow #apache-arrow #columnar-format #logical #parquet #types #arrays
  3. async-backtrace

    高效的异步任务逻辑回溯

    v0.2.7 17K #backtrace #async #async-task #stack-trace #framed #tokio #logical
  4. datafusion-functions

    DataFusion查询引擎的函数包

    v41.0.0 725K #data-fusion #datafusion #expressions #apache-arrow #plan #logical #expression
  5. datafusion-functions-array

    DataFusion查询引擎的数组函数包

    v40.0.0 643K #data-fusion #apache-arrow #datafusion #logical #plan #expressions #sql-query
  6. datafusion-functions-aggregate

    DataFusion查询引擎的聚合函数包

    v41.0.0 642K #data-fusion #datafusion #expressions #logical #plan #expression #sql-query
  7. datafusion-functions-nested

    DataFusion查询引擎的嵌套类型函数包

    v41.0.0 69K #datafusion #data-fusion #expressions #plan #logical #apache-arrow
  8. hybrid-logical-clock

    分布式系统的混合逻辑时钟

    v0.0.2 220 #clock #distributed-systems #logical #hybrid #physical #events #order
  9. polars-plan

    Polars DataFrame库的懒查询引擎

    v0.42.0 166K #query-engine #polars #lazy-evaluation #dataframes #planning #logical #intended
  10. polars-sql

    Polars的SQL编译器。将SQL转换为Polars逻辑计划

    v0.42.0 71K #sql-query #polars #dataframe #plans #logical #convert #transpiler
  11. puan-pv

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

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

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

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

    逻辑

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

    物质蕴涵的宏

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

    一个小型RS-485通讯协议

    v0.999.99 #controller #protocols #comms #step #erdnuss #rs-485 #logical
  16. rustlogic

    逻辑公式的基本解析和处理

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

    clt快速评估

    v0.4.2 #evaluation #expressions #command-line-tool #operator #logical #evaluate #eva-luator
  18. sus-impls

    可选字段的非冲突实现

    v0.2.1 #conflict #system #impls #logical #optional #algorithm #input
  19. logical_expression_parser

    使用pest库编写的Rust逻辑表达式解析器

    v0.1.1 #expression-parser #logical #pest-parser #implication #evaluation #expr
  20. rpgffi

    FDW、逻辑解码器和postgresql扩展的套件

    v0.3.3 #postgresql #logical #decoding #api-bindings #decoder #fdw #extensions
  21. inexor-rgf-plugin-logical

    Inexor - Reactive Graph Flow - Plugin - Logical

    v0.9.1 #graph #flow #reactive #inexor #flow-control #logical #entity
  22. leuchtkraft

    一种逻辑编程语言

    v0.1.0 #编程 #编程语言 #声明式 #逻辑 #小型 #条款 #逻辑编程
  23. logic-rs

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

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

    逻辑门crate

    v0.1.0 # #逻辑 #逻辑门 #逻辑
  25. RobotS

    Actor框架

    v0.3.0 #机器人 #actor系统 #消息 #未来 #akka #actor框架 #路径 #逻辑
  26. hybrid-clocks

    混合逻辑时钟

    v0.5.3 #时钟 #混合 #分布式数据库 #逻辑 #一致性 #事件 #发生之前
  27. eles

    ELES; 可扩展逻辑表达式求解器

    v1.0.0 #逻辑 #可扩展 #表达式 #解析器 #文本
  28. first_order_logic

    一阶逻辑

    v0.1.0 #一阶 #逻辑 #形式 #逻辑 #谓词 # #语法
  29. gates

    模拟逻辑门

    v0.1.0 # #逻辑 #模拟 #异或 #或非 #与非
  30. 尝试使用DuckDuckGo进行搜索。

  31. inexor-rgf-model-logical

    Inexor - 反应图流 - 模型 - 逻辑

    v0.9.1 #graph #flow #reactive #inexor #flow-control #logical #entity
  32. prop_tune

    简化命题陈述的工作

    v0.2.0 #陈述 #命题 #逻辑
  33. rustlogic-march1917

    逻辑公式的解析和基本处理(从coastalwhite分支而来)

    v0.1.0 #逻辑 #逻辑 #解析器 #电路 #
  34. logical

    模拟数字电路网络

    v0.2.1 #网络 #数字 #ieee1164 #电路 #模拟器 #逻辑 #模拟
  35. lrs

    解决(合取)标准形式的逻辑子句

    v0.1.1 #逻辑 #子句 #形式 #标准 #解决 #合取 #标准形式
  36. utsl-hybrid-clocks

    混合逻辑时钟

    v0.1.0 #时钟 #逻辑 #混合 #时间戳 #事件
  37. instruction_serialiser

    此包帮助开发人员序列化计算指令以供重用或存档。

    v0.0.6 #指令 #计算 #序列化器 #序列化 #逻辑 #算术 #存档
  38. lz_interval_tree_clock

    区间树时钟实现

    v0.1.0 #时钟 #动态 #因果 #分布式 #逻辑 #区间树
  39. lvm

    LVM 安全绑定

    v0.3.1 #绑定 # #vg # #属性 #物理 #逻辑
  40. tiktok

    分布式系统中时间顺序的逻辑时钟

    v0.0.2 #时钟 #分布式系统 #逻辑 #时间 #顺序
  41. hlc

    混合逻辑时钟

    v0.1.1 #逻辑 #混合 #时钟 #单调 #分布式
  42. optd-sqlplannertest

    级联优化器框架

    v0.0.0 #优化 #逻辑 #数据融合 #框架 #optd #级联
  43. atoll

    逻辑布局的自动转换

    v0.0.0 #自动 #转换 #逻辑 #布局