—
AntoineGagne/erl-a-tree
A NIF for the https://crates.io/crates/a-tree crate
Apache-2.017 лип. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#boolean-logic
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
3 записи
Go
xDarkicex/logic
Classical, SAT, modal, temporal, and fuzzy logic — a complete reasoning engine in pure Go. Off-heap, race-clean, zero GC pressure.
MIT17 лип. 2026 р. · метрики 2.10.0
Go
xDarkicex/gobdd
Zero-allocation Binary Decision Diagrams (OBDD) for Go — full Buddy parity with off-heap memory, level indirection, distinct types, and modal logic integration.
MIT12 серп. 2026 р. · метрики 2.10.0