-
cat-fax
类似于Cowsay,但包含(主要是)事实准确的猫的事实!
-
serde_datalog
一个Serde序列化器,可以提取Datalog事实
-
mangle-parse
Mangle,一种逻辑编程语言
-
mangle-factstore
Mangle,一种逻辑编程语言
-
mangle-engine
Mangle,一种逻辑编程语言
-
wetware
管理个人、网络化的主题和事实
-
suiron-rust
一个快速的Prolog样推理引擎
-
shunting-yard
Rust中的shunting yard算法实现
-
cultura
每天直接从您的终端增强您的知识
-
lincoln
一种低级编程语言,具有线性类型和对继续(返回点)的直接操作
-
bigfactorial
用于99以内的数字的预计算编译时阶乘宏
-
phreak_engine
以速度为重点的规则匹配算法
-
catfacts
生成猫的事实
-
petfacts
命令行程序,用于在控制台打印猫和狗的事实
-
is-thirteen
你是否考虑过,“Jodie Whittaker”在某些文化中代表数字13?你没有。这就是你需要这个crate的原因。
-
mathfacts
一个小型命令行应用程序,用于练习数学事实
-
aitia
根据因果图对事件进行解释
-
phreak_facts
以速度为重点的规则匹配算法
-
randog
随机狗事实的实用工具
-
fact
用于阶乘
-
rdxsort
快速基数排序
-
rcstr
一个引用计数的字符串,类似于常规str切片,隐藏了它被Rc包裹的事实
-
saigon_plugin_cat_fact
一个提供关于猫的有趣事实的Saigon插件
-
fact_cat
获得你的猫事实剂量
-
veritas
具有美观输出的可组合断言
-
clingo-derive
为clingo crate提供的推导宏
尝试使用 DuckDuckGo 进行搜索。