全部标签
目录标签

#propositional-logic

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

2 条记录
标签为“propositional-logic”按健康指数排序
PyPI
53中等健康指数
igareosh/fpf-agentic-thinking-map
Small MIT-licensed runtime for bounded LLM traversal, inspired by FPF and focused on practical agent behavior.
Python★ 1↓ 3,561/月2026年7月20日
MIT2026年7月20日 · 指标 1.13.0
Go
46存在风险健康指数
xDarkicex/logic
Classical, SAT, modal, temporal, and fuzzy logic — a complete reasoning engine in pure Go. Off-heap, race-clean, zero GC pressure.
Go★ 02026年7月17日
MIT2026年7月17日 · 指标 1.13.0