GitHub repository: mgree/smoosh
Primary language: OCaml
Created: 2018-09-26T15:17:56Z
Description: The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.