Lib.rs

› 关键字 #dependent-types #dedukti #type-checking #verification #logic #graph

#重构

  1. 重写器

    重写文件

    v0.1.0 2.3K #file-content #rewriting #line-column #spans #backup #proc-macro2-impl #proc-macro2-span

  2. relog

    强字符串归一化

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

  3. kocheck

    lambda-Pi演算模重写的类型检查器

    v0.4.2 #rewriting #verification #dedukti #type-checking #dependent-types

  4. portdiff

    快速局部图重写的数据结构

    v0.1.0 #graph #rewriting #structure #diffs #local #port #extract

  5. qrlew

    Sarus Qrlew 引擎

    v0.9.23 #sql-query #sql #differential-privacy #engine #query-parser #rewriting #sarus

  6. kontroli

    lambda-Pi演算模重写的类型检查

    v0.4.0 #rewriting #verification #dedukti #type-checking #theorem-prover #dependent-types

  7. term_rewriting

    使用一阶项重写系统表示、解析和计算

    v0.7.0 #rewriting #parser #language

  8. avatar_hypergraph_rewriting

    用于符号区分的avatarm hypergraph 重写系统

    v0.1.1 #rewriting #avatar #wolfram #advanced-research #hypergraph #research

  9. hirpdag

    用于 Hash Consed、不可变、引用计数、持久、有向无环图数据结构的过程宏

    v0.1.1 #persistent #dag #data-structures #directed-acyclic-graph #rewriting #reference-counting #hashconsing

  10. chain-debug

    在不重写链调用代码的情况下注入调试信息

    v0.1.1 #debugging #chain-calling #derive-debug #injecting #debug-ext #rewriting

  11. logic-lang

    基于等价图的逻辑语言

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

  12. dedukti-parse

    Dedukti 文件格式解析器

    v0.3.1 #rewriting #dedukti #dependent-types #file-format

  13. terms

    树形术语和模式数据结构

    v0.1.3 #pattern #tree #rewriting #term

    14. 尝试使用 DuckDuckGo 进行搜索。[搜索链接].

  14. trs

    术语重写系统

    v0.1.0 #rewriting #term #pattern #tree

  15. path-url-rewrite

    用于在路径中重写 URL 的 swc 插件

    v0.0.1 #url #swc-plugin #path #rewriting #url-path