2 results found Sort:

turbot
flowpipe turbot
16
396
agpl-3.0
11
Flowpipe is a cloud scripting engine. Automation and workflow to connect your clouds to the people, systems and data that matters.
cloud devops golang flowpipe low-code security workflow automation hacktoberfest orchestration workflow-automation
Created 2023-05-11
1,621 commits to develop branch, last one 16 days ago
JuliaReach
ReachabilityAnalysis.jl JuliaReach
16
197
mit
10
Computing reachable states of dynamical systems in Julia
ode julia flowpipe simulations verification hybrid-systems control-systems set-propagation automatic-control dynamical-systems rigorous-numerics numerical-analysis formal-verification interval-arithmetic reachability-analysis cyber-physical-systems differential-equations
Created 2019-12-03
1,962 commits to master branch, last one 5 days ago