-
axiom-rs
Axiom SDK
-
dcc-lsystem
Lindenmayer系统及其一些渲染工具
-
tracing-axiom
将跟踪信息发送到Axiom的跟踪层
-
zfc
根据Zermelo–Fraenkel集合论公理(ZFC)表示集合的特质
-
tracing-layer-axiom
将跟踪事件发送到Axiom的层
-
axiom
实现了一个基于Rust的高度可扩展和易于使用的actor系统,结合了Erlang / Elixir和Akka的优点
-
axiograph
使用GPT-4可视化复杂公理结构的程序。给它一个公理和一个“深度”,它将根据所有已建立的子公理和graphviz生成一个总结……
-
lsystem
在rust中构建L-系统
-
axiom-query
包含生成
AxiomV2Query
智能合约证明的ZK电路 -
axiom-sdk
用于编写Axiom计算电路的用户友好的API
-
axiom-codec
包含用于Axiom查询的Rust类型,并指定如何将它们编码/解码为字段元素以供电路内使用
-
axiom-circuit
用于编写Axiom计算电路的底层API
-
axiom-sdk-derive
使用axiom-sdk编写Axiom计算函数的进程宏
尝试使用DuckDuckGo进行搜索。