PrototypeCommune
mgree/smoosh
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
- Propriétaire
- mgree (compte personnel)
- Étoiles
- Étoiles : 134
- Forks
- Forks : 6
- Langage
- OCaml
- Licence
- MIT
- Création
- 2018
- Sujets
- posixformalizationposix-shposix-shellshshell-scriptingshellsemanticssymbolic-execution
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de mgree
Les 2 dépôts de mgree- mgree/ffsÉtoiles : 500RustAlpha
D’autres dépôts OCaml
Tous les dépôts OCaml- chshersh/pragmatic-category-theoryÉtoiles : 135OCamlPrototype
- lpalmes/pureÉtoiles : 134OCamlPrototype
- Innf107/polarisÉtoiles : 134OCamlPrototype
- ocaml-ppx/ppx_toolsÉtoiles : 133OCamlPrototype
- ocaml/ocamlbuildÉtoiles : 133OCamlPrototype