← Back to Discover
OxiDD

OxiDD/oxidd

RustApache-2.0active
85Health

Concurrent decision diagram framework written in Rust

Stars98
Forks19
Open Issues12
Contributors19
Last Push0d ago

Health Breakdown

Activity
25
Community
25
Maintenance
12
Popularity
23
#bdd#binary-decision-diagrams#zbdd#zdd#zero-suppressed-decision-diagrams
View on GitHub ↗Issues (12) ↗Pull Requests ↗

Should you contribute to OxiDD/oxidd?

OxiDD/oxidd has a FoundDev health score of 85/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.

Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in Rust, so prior Rust experience will shorten ramp-up.

Licensed under Apache-2.0, a standard OSI-approved license — safe to contribute to under normal employer IP policies.

Community

OxiDD
OxiDD/oxidd
RustApache 2.0
85

Concurrent decision diagram framework written in Rust

active
★ 9819 contributors12 issues
0d ago

More Rust repos

MystenLabs
MystenLabs/sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
★ 7.8k97
AstarNetwork
AstarNetwork/Astar
The dApp hub for blockchains of the future
★ 76996
aleo-labs-protocol
aleo-labs-protocol/snarkOS
A Decentralized Operating System for ZK Applications
★ 4.5k94