—
AntoineGagne/erl-a-tree
A NIF for the https://crates.io/crates/a-tree crate
Apache-2.0Jul 17, 2026 · metrics 2.10.0
All tags
Catalogue tag
#boolean-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.
3 records
Go
xDarkicex/logic
Classical, SAT, modal, temporal, and fuzzy logic — a complete reasoning engine in pure Go. Off-heap, race-clean, zero GC pressure.
MITJul 17, 2026 · metrics 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.
MITAug 12, 2026 · metrics 2.10.0