mgree/smoosh

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

语言：OCaml · GitHub 星标：134 · Fork：6

话题：formalization · posix · posix-sh · posix-shell · semantics · sh · shell · shell-scripting

在 GitHub 上查看原仓库