—
AntoineGagne/erl-a-tree
A NIF for the https://crates.io/crates/a-tree crate
Apache-2.02026年7月17日 · 指标 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.
MIT2026年7月17日 · 指标 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.
MIT2026年8月12日 · 指标 2.10.0