#axiom

  1. axiom-rs

    Axiom SDK

    v0.10.0 #axiom #observability #sdk #logging #google-cloud #source
  2. dcc-lsystem

    Lindenmayer系统及其一些渲染工具

    v0.6.3 100 #l-systems #turtle #system #rules #lindenmayer #production #axiom
  3. tracing-axiom

    将跟踪信息发送到Axiom的跟踪层

    v0.7.0 370 #axiom #tracing-layer #tracing #instrumentation #open-telemetry
  4. zfc

    根据Zermelo–Fraenkel集合论公理(ZFC)表示集合的特质

    v0.3.2 #set #math #theory #axiom #choice #zermelo–fraenkel
  5. tracing-layer-axiom

    将跟踪事件发送到Axiom的层

    v0.1.2 #tracing-layer #axiom #events #sending #send
  6. axiom

    实现了一个基于Rust的高度可扩展和易于使用的actor系统,结合了Erlang / Elixir和Akka的优点

    v0.2.1 #actor-model #actor #actors #akka #erlang #elixir #send-message
  7. axiograph

    使用GPT-4可视化复杂公理结构的程序。给它一个公理和一个“深度”,它将根据所有已建立的子公理和graphviz生成一个总结……

    v0.1.0 #axiom #insight #complex #graph #structure #depth #gpt-4
  8. lsystem

    在rust中构建L-系统

    v0.2.1 1.5K #l-systems #grammar #rules #production #axiom #system #set
  9. 尝试使用DuckDuckGo进行搜索。

  10. axiom-query

    包含生成AxiomV2Query智能合约证明的ZK电路

    v2.0.17 #circuit #subquery #component #aggregation #compute #axiom #proof
  11. axiom-sdk

    用于编写Axiom计算电路的用户友好的API

    v0.1.1 #circuit #input #axiom #compute #struct #sdk #traits
  12. axiom-codec

    包含用于Axiom查询的Rust类型,并指定如何将它们编码/解码为字段元素以供电路内使用

    v0.2.1 110 #axiom #field #elements #native #circuit #codec #zk
  13. axiom-circuit

    用于编写Axiom计算电路的底层API

    v0.1.1 #circuit #axiom #compute #lower-level #api
  14. axiom-sdk-derive

    使用axiom-sdk编写Axiom计算函数的进程宏

    v0.1.1 #axiom #compute #axiom-sdk #procedural #macro #functions #proc-macro