Lib.rs

› Keywords #scc #boolean-network #bdd #tcp-server #probing #packet-loss #dns #ping

#reachability

  1. biodivine-algo-bdd-scc

    BDD-based algorithms for symbolic SCC detection in Boolean networks

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

  2. tcping

    🛠️ tcping-rs: Rust (rs) TCP Ping (tcping) Utility for Port Reachability

    v1.2.24 #arguments-parser #tcp-port #ping #command-line-arguments #reachability #tcp-server #packet-loss #probing #statistics #dns

  3. patmat

    Generic space algebra for pattern-match exhaustivity and reachability analysis

    v0.2.0 #satisfiability #space #atomic #pattern-matching #algebra #reachability #arms #subtype #covered #subspace

  4. bury

    A blazingly fast dead code detector for Python and TypeScript using reachability analysis

    v0.1.0 #dead-code #linter #reachability #analyzer

  5. cifly

    core that powers the CIfly declarative framework for efficient causal inference algorithms

    v0.1.3 220 #causality #graphs #reachability #algorithm

  6. reachability_solver

    A linear reachability solver for directional edges

    v0.2.0 #reachability #reasoning #theorem #solver

  7. vuln-reach

    Code reachability path analysis

    v0.1.1 #package-resolver #vulnerabilities #tree-sitter #javascript #reach #static-analysis #reachability #tarball #tgz

  8. package-parser

    A fast, multi-language package metadata extractor written in Rust, designed for SCA purpose

    v0.1.0 #package-metadata #sca #multi-language #extractor #format #reachability #package-manager

    9. Try searching with DuckDuckGo.