PrototypeCommon
mgree/smoosh
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
- Owner
- mgree (personal account)
- Stars
- Stars: 134
- Forks
- Forks: 6
- Language
- OCaml
- License
- MIT
- Created
- 2018
- Topics
- posixformalizationposix-shposix-shellshshell-scriptingshellsemanticssymbolic-execution
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by mgree
All 2 repos by mgree- mgree/ffsStars: 500RustAlpha
Nearby in OCaml
All OCaml repos- chshersh/pragmatic-category-theoryStars: 135OCamlPrototype
- lpalmes/pureStars: 134OCamlPrototype
- Innf107/polarisStars: 134OCamlPrototype
- ocaml-ppx/ppx_toolsStars: 133OCamlPrototype
- ocaml/ocamlbuildStars: 133OCamlPrototype