Усі теги
Тег каталогу

#modal-logic

Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.

1 запис
З тегом «modal-logic»Упорядковано за індексом здоров'я
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★ 017 лип. 2026 р.
MIT17 лип. 2026 р. · метрики 1.13.0