Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: zbdd
OxiDD/oxidd
Concurrent decision diagram framework written in Rust
Language: Rust - Size: 2.36 MB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 27 - Forks: 3
rakhimov/scram
Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)
Language: C++ - Size: 20 MB - Last synced: 8 months ago - Pushed: 9 months ago - Stars: 126 - Forks: 53