-
eqlog
带有等式的 Datalog
-
polonius-engine
Rust 借用检查器的核心定义
-
ascent
Rust 中的逻辑编程
-
egglog
结合等式饱和和 Datalog 优点的语言。它可以用于程序的分析、优化和综合。它是流行的 Rust 库 egg 的后继者。
-
ascent-byods-rels
由 Ascent 的 BYODS 功能实现 Ascent 关系的数据库结构
-
cozo
一种通用的事务性关系数据库，使用 Datalog，专注于图数据和算法
-
biscuit-parser
biscuit-auth 和 biscuit-quote crate 中使用的 Datalog 解析器
-
serde_datalog
用于提取 Datalog 事实的 Serde 序列化器
-
eqlog-eqlog
带有等式的 Datalog
-
ascent_base
ascent 包的支持库
-
frclib-datalog
WPI 的 DataLog 规范
-
物化视图
面向大众的增量物化视图
-
datafrog
轻量级Datalog引擎，旨在嵌入其他Rust程序
-
asdi
简单的Datalog实现（用Rust编写）
-
arde
Datalog引擎
-
owoof
使用SQLite存储数据，并使用类似Datalog的格式查询它
-
eqlog-runtime
带有等式的 Datalog
-
modus
用于构建容器镜像的语言
-
rdfox-rs
RDFox for Rust，一个高性能的内存ACID事务性语义图数据库
-
treeedb
从树-sitter解析树生成Datalog事实
-
polonius
Rust 借用检查器的核心定义
-
tree-sitter-souffle
Soufflé解析库的语法
-
datalog_syntax
Datalog语法
-
treeedbgen-souffle-souffle
从Soufflé树-sitter语法生成Soufflé类型和关系
-
treeedb-souffle
从Soufflé源代码生成Datalog事实
-
modus-lib
用于构建容器镜像的语言
-
treeedbgen-souffle-c
从 C 树形解析语法生成 Soufflé 类型和相关关系
-
treeedbgen-souffle-csharp
从 C# 树形解析语法生成 Soufflé 类型和相关关系
-
treeedb-csharp
从 C# 源代码生成 Datalog 事实
-
treeedb-javascript
从 JavaScript 源代码生成 Datalog 事实
-
declarative-dataflow
基于微分数据流构建的响应式查询引擎
-
treeedbgen-souffle-javascript
从 JavaScript 树形解析语法生成 Soufflé 类型和相关关系
-
treeedbgen-souffle
从 tree-sitter 语法生成 Soufflé 类型和相关关系
-
treeedbgen-souffle-rust
从 Rust 树形解析语法生成 Soufflé 类型和相关关系
-
souffle-lint
Soufflé Datalog 的代码检查工具
-
crepe
作为过程宏的 Rust 中的 Datalog
-
treeedb-c
从 C 源代码生成 Datalog 事实
-
treeedb-swift
从 Swift 源代码生成 Datalog 事实
-
treeedb-rust
从 Rust 源代码生成 Datalog 事实
-
hydroflow_datalog_core
Hydroflow 的 Datalog 实现
-
eclair_bindings
围绕低级 Eclair Datalog API 的 Rust 风格包装器
-
biscuit-quote
用于 Biscuit 授权令牌的编译时 Datalog 解析宏
-
rdfox-sys
到 RDFox C API 的低级绑定，查看 rdfox-rs 获取高级 Rust 接口
-
ascent_macro
ascent 宏
-
transistor
Crux Datalog 数据库客户端
-
datalite
Datalog 简化实现
-
datalog
不完整！用于编写 Datalog 程序的简单接口
-
eclair-builder
构建时依赖，用于辅助调用 Eclair 编译器，将 Eclair 代码作为静态库与 Rust 代码链接
-
hydroflow_datalog
Hydroflow 的 Datalog proc-macro
-
datalog_syntax_macros
两个过程宏，用于轻松编写 Datalog 程序和规则
-
eclair_bindings_derive
过程宏 crate，与 'eclair_bindings' 一起使用
尝试使用 DuckDuckGo 进行搜索。