io.github.paiml/rash
Transpile Rust code to POSIX-compliant shell scripts with formal correctness guarantees
Details
- Publisher
- io.github.paiml
- Canonical name
- io.github.paiml/rash
- Auth model
- none
- Status
- active
Transpile Rust code to POSIX-compliant shell scripts with formal correctness guarantees