2 results found Sort:

turbot
flowpipe turbot
16
391
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,618 commits to develop branch, last one 8 days ago
JuliaReach
ReachabilityAnalysis.jl JuliaReach
16
194
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,924 commits to master branch, last one about a month ago