A multimodal transport optimization platform with formal verification
git open-source workflow reproducible-research julia collaboration ci-cd infrastructure-as-code julia-package scientific-software research-software hyperpolymath git-and-workflow epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance
-
Updated
Nov 7, 2026 - Julia