Sign inSign up

mgree/smoosh

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

OCamlStars 124Forks 5Watchers 124Open issues 23License MIT License
Details
仓库信息
Ownermgree
Homepagehttp://shell.cs.pomona.edu
GitHubhttps://github.com/mgree/smoosh
Last pushed2023-02-16
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--