All tags
Catalogue tag

#propositional-logic

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

2 records
Tagged “propositional-logic”Ranked by health index
PyPI
53Moderatehealth index
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/moJul 20, 2026
MITJul 20, 2026 · metrics 1.13.0
Go
46At riskhealth index
xDarkicex/logic
Classical, SAT, modal, temporal, and fuzzy logic — a complete reasoning engine in pure Go. Off-heap, race-clean, zero GC pressure.
Go★ 0Jul 17, 2026
MITJul 17, 2026 · metrics 1.13.0