All Git Users → mgree

1 open source projects by mgree

[ Open user page on Github ]

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

✭ 86

ocaml javascript shell HTML ruby Dockerfile semantics posix symbolic-execution formalization sh posix-sh shell-scripting posix-shell

1-1 of 1 user projects