KYAML, I-JSON/JCS and Dhall processing for repository automation. Native Rust migration with Creusot/Pearlite contracts and Verus models in progress; estate qualification pending.
kubernetes rust open-source yaml json configuration-management developer-tools formal-verification dhall cli-tool kubernetes-manifests verus query-tool creusot hyperpolymath kyaml canonical-json yq-alternative ijson-jcs kyq
-
Updated
Nov 7, 2026 - JavaScript