PyPI · crates.io
OxiDD/oxidd
Concurrent decision diagram framework written in Rust
Apache-2.0Sep 5, 2026 · metrics 2.10.0
All tags
Catalogue tag
#binary-decision-diagrams
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
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