Lib.rs

› Search #systems-biology #symbolic #bdd #reachability #scc #s-box #cryptography

  1. biodivine-lib-param-bn

    working with parametrized Boolean networks

    v0.7.2 120 #boolean-network #async #graph #systems-biology #symbolic

  2. biodivine-algo-bdd-scc

    BDD-based algorithms for symbolic SCC detection in Boolean networks

    v0.3.2 #scc #boolean-network #bdd #reachability #symbolic

  3. boolean_function

    Mathematical analysis of Boolean functions

    v0.1.2 390 #boolean #cryptography #algebra #s-box #function

  4. biodivine-hctl-model-checker

    symbolic HCTL model checking on partially defined Boolean networks

    v0.3.5 #model-checking #hctl #boolean-network #systems-biology #symbolic

  5. nono-cli

    CLI for nono capability-based sandbox

    v0.17.1 #sandbox #landlock #seatbelt #security

  6. biodivine-lib-io-bma

    working with models in the BMA format

    v0.1.5 #bma #boolean-network #systems-biology

  7. biodivine-pbn-control

    controlling parametrized Boolean networks

    v0.3.1 #networking #model #parametrized #boolean #experiment #biodivine #phenotype #perturbation #aeon

  8. boolnetevo

    Evolve populations of boolean networks to approximate bitstring functions and their (unknown) inverses

    v0.4.0 #bitstring #boolean #inverse #evolution

    9. Try searching with DuckDuckGo or on crates.io.