-
deptypes
依赖类型
-
minitt
Mini-TT，一种依赖类型lambda演算，用Rust扩展和（重新）实现
-
kodept
具有依赖类型支持的编译器
-
topological_batch
分批并行运行拓扑依赖单元
-
brevet
具有依赖合并和一等环境的Ei演算求值器
-
cargo-trend
Cargo子命令，用于生成依赖crates的趋势图
-
acm_dependent
依赖于arithmetic_congruence_monoid库的项目，用于处理算术同余群（ACM）
-
kodept-parse
具有依赖类型支持的编译器
-
kodept-ast
具有依赖类型支持的编译器
-
kodept-inference
具有依赖类型支持的编译器
-
mitex-spec-gen
为依赖crates生成规范文件的守卫
-
kodept-interpret
具有依赖类型支持的编译器
-
nar
Narc，一种具有依赖模式匹配的依赖类型编程语言
-
kodept-macros
具有依赖类型支持的编译器
-
fastparse
一些通用的解析工具组件，在依赖型项目中很有用
-
selium-common
依赖 Selium 的 crate，请勿直接使用。
-
cargo-verify
为经过验证的 crate 提供更美观的错误消息
-
dsl
构建自己的 DSL
-
mononym
支持部分依赖类型的 Rust 中类型级命名值
-
cxx-llvm-build-common
cxx-llvm 和依赖 crate 的通用构建代码
-
kodept-core
具有依赖类型支持的编译器
-
verified
类型以促进可验证 Rust 的开发
-
dependent_ghost
Matt Noonan 的 'Ghosts of Departed Proofs'
-
thankyoulist
生成依赖开源项目列表作为致敬
-
flowtest
依赖于其他测试的测试
-
已离开
使用“已故证明的幽灵”技术提供了一些依赖类型的好处
-
malk-core
依赖类型的部分实现
-
relay_node
依赖路径上的中继节点
-
async-injector-derive
一个衍生工具，帮助在 async-injector 中构建依赖值
-
flowtest-macro
依赖于其他测试的测试
-
verify_macro
一个属性，可以自动使用逻辑类型边界对代码进行仪器化
-
pingcap/tipb
TiDB protobuf
尝试使用 DuckDuckGo 进行搜索。