-
avalog
一个类似Prolog语法的Avatar逻辑实验实现
-
hooo
带有指数的命题逻辑
-
joker_calculus
Rust中的Joker微积分
-
maray
使用基础数学的JIT光线追踪
-
poi
一个实用的无点证明辅助工具
-
algexenotation
在Rust中
-
prop
Rust中的带有类型的命题逻辑
-
advancedresearch-path_iter
基于路径语义的类别枚举库
-
advancedresearch-asi_core0
人工超级智能（ASI）的候选核心架构
-
avatar_graph
头像图
-
advancedresearch-higher_order_core
在Rust中使用高阶结构编程的核心结构和特性
-
advancedresearch-tree_mem_sort
基于群论的记忆树拓扑排序算法
-
advanedresearch-trinoise
基于数论和集合论的三值数学噪声模式
-
last_order_logic
一种实验性的逻辑语言
-
caso
交换图范畴理论求解器
-
advancedresearch-hypo
自动假设检验
-
aude
一种使用Lisp-like函数编程语言的自动微分求解器
-
advancedresearch-max_tree
基于最大树结构的优化库
-
path_semantics_std
使用约束函数实现的路径语义标准字典的检查类型实现
-
advancedresearch-nano_ecs
基于宏的裸骨体-组件-系统
-
avatar_hypergraph_rewriting
具有符号区分的化身超图重写系统
-
advancedresearch-higher_order_point
3D点实验性高阶数据结构
-
abstractio
使用化身扩展理论进行物理的抽象I/O维度分析
-
iknow
支持 Rust 类似语法的自描述知识格式
-
higher_order_point
3D点实验性高阶数据结构
-
advancedresearch-rigid_body
一个简约的刚体库
-
advancedresearch-graph_builder
一种生成带有后过滤和边组合的图的算法
-
advancedresearch-utility_programming
可组合的实用程序编程
尝试使用 DuckDuckGo 进行搜索。