-
eqlog
带有等式的Datalog
-
algexenotation
在Rust中
-
hfs
遗传有限集
-
libpijul
Pijul的核心库，一个基于协作工作良好理论的可分布式版本控制系统
-
ffactor
非常精简的数论工具
-
eqlog-eqlog
带有等式的Datalog
-
amfiteatr_classic
一些经典博弈论问题进行研究
-
kord
轻松探索音乐理论原则
-
amfiteatr_net_ext
提供基本TCP通信的概念验证扩展
-
amfiteatr_core
一个框架，用于建模和模拟具有许多代理的博弈论问题
-
minitt
Mini-TT，一种依赖类型lambda演算，在Rust中扩展和（重新）实现
-
redact-composer-musical
redact-composer（红刻作曲家）中的音乐理论领域模型和实用工具包（也可独立使用）
-
zfc
根据Zermelo–Fraenkel集合论公理选择（ZFC）表示集合的特性
-
sparta
专门为基于抽象解释理论构建高性能静态分析器而设计的软件组件
-
brydz_core
实现了桥牌游戏的基本规则
-
amfiteatr_rl
为
amfiteatr提供强化学习实现的扩展 -
advancedresearch-tree_mem_sort
基于群论的内存储器拓扑排序算法，用于树
-
eqlog-runtime
带有等式的Datalog
-
graph_solver
用于节点和边颜色的无向图约束求解器
-
cyclotomic
用于循环域中精确运算的高性能库
-
contained
实施所提议的谐波运行时，用于编排云原生系统的研究项目
-
psyche-graphics
Psyche AI 工具集的图形生成模块
-
amfiteatr_proc_macro
为 amfiteatr_* crate 提供的进程宏 crate
-
arthroprod
基于克利福德代数的绝对相对论理论计算
-
advancedresearch-agent_safety_layers
构建封装在安全层中的智能体
-
psyche-serde
Psyche AI 工具集的序列化/反序列化模块
-
aces
因果结构代数
-
chasement
用于模拟具有两个栈的下推自动机的小型解释型语言
-
ImtiazGermain
检查一个数是否为 Imtiaz-Germain 素数或 Germain 素数
-
psyche-simulator-cli
Psyche AI 工具集的 CLI 模拟器
-
mpt_lib
现代投资组合理论的函数库
-
fuzzylogic
模糊集合理论的运算
-
ctrs
范畴论实现和笔记
-
garfield
范畴论抽象
-
gt-graph
图理论基础包
-
理论
文档查看器（进行中）
-
antic
代数数论antic C库的绑定
-
malk-core
依赖类型部分实现
-
aqt_sim
对抗队列理论（AQT）模拟器
-
efron_numbertheory
基本数论
-
triad
本项目专注于提供新黎曼理论中讨论的乐音对象的具象抽象
-
rarrow
Rust中的范畴论库
-
graph-theory
邻接矩阵和邻接图
尝试使用 DuckDuckGo 进行搜索。搜索 DuckDuckGo.