Hypershell: A Type-Level DSL for Shell-Scripting in Rust | Context-Generic Programming
contextgeneric.dev