Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with reachability-analysis
A curated list of projects in awesome lists tagged with reachability-analysis .
https://github.com/AppThreat/dep-scan
OWASP dep-scan is a next-generation security and risk audit tool based on known vulnerabilities, advisories, and license limitations for project dependencies. Both local repositories and container images are supported as the input, and the tool is ideal for integration.
compliance containers cve cyclonedx dependency-analysis dependency-audit devsecops reachability-analysis risk-audit sbom sca security-audit security-tools supply-chain-security vex vulnerability-scanners
Last synced: 30 Jul 2024
https://github.com/owasp-dep-scan/dep-scan
OWASP dep-scan is a next-generation security and risk audit tool based on known vulnerabilities, advisories, and license limitations for project dependencies. Both local repositories and container images are supported as the input, and the tool is ideal for integration.
compliance containers cve cyclonedx dependency-analysis dependency-audit devsecops reachability-analysis risk-audit sbom sca security-audit security-tools supply-chain-security vex vulnerability-scanners
Last synced: 01 Aug 2024
https://github.com/juliareach/reachabilityanalysis.jl
Computing reachable states of dynamical systems in Julia
automatic-control control-systems cyber-physical-systems differential-equations dynamical-systems flowpipe formal-verification hybrid-systems interval-arithmetic julia numerical-analysis ode reachability-analysis rigorous-numerics set-propagation simulations verification
Last synced: 30 Sep 2024
https://github.com/JuliaReach/ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
automatic-control control-systems cyber-physical-systems differential-equations dynamical-systems flowpipe formal-verification hybrid-systems interval-arithmetic julia numerical-analysis ode reachability-analysis rigorous-numerics set-propagation simulations verification
Last synced: 31 Jul 2024
https://github.com/lukaszbudnik/yosoy
yosoy is an HTTP service for stubbing and prototyping distributed applications.
distributed-systems docker docker-image go golang kubernetes ping prototyping reachability-analysis stubbing
Last synced: 30 Sep 2024