文件名称:datafrog-旨在嵌入其他Rust程序的轻量级Datalog引擎-Rust开发
文件大小:28KB
文件格式:ZIP
更新时间:2024-06-16 12:23:02
Rust Embedded development
datafrog Datafrog是一种轻量级的Datalog引擎,旨在嵌入到其他Rust程序中。 Datafrog没有运行时,并且依靠您来构建Datafrog Datafrog是一种轻量级的Datalog引擎,旨在嵌入到其他Rust程序中。 Datafrog没有运行时,并依靠您来构建并重复应用更新规则。 它试图帮助您正确地做到这一点。 例如,这是使用Datafrog编写可访问性查询的方式(减去填充节点和边初始关系的部分)。 外部数据仓库 使用datafrog :: Iteration; fn main(){//创建一个新的迭代上下文,... let mut
【文件预览】:
datafrog-master
----.gitignore(320B)
----LICENSE-MIT(1023B)
----README.md(1KB)
----Cargo.toml(645B)
----examples()
--------graspan1.rs(2KB)
--------borrow_check.rs(5KB)
----RELEASES.md(842B)
----LICENSE-APACHE(11KB)
----src()
--------join.rs(6KB)
--------merge.rs(3KB)
--------lib.rs(20KB)
--------map.rs(320B)
--------treefrog.rs(22KB)
--------test.rs(6KB)
----CODE_OF_CONDUCT.md(5KB)
----.travis.yml(220B)
----triagebot.toml(9B)