smoosh

mgree

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

shell

View on GitHub Website

118 Stars

5 Forks

118 Watchers

OCaml Language

mit License

Cost to Build

$253.5K

Market Value

$600.0K

How is this calculated?

Growth over time

7 data points · 2021-08-01 → 2025-06-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about smoosh

Question copied to clipboard

What is the mgree/smoosh GitHub project? Description: "The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.". Written in OCaml. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone smoosh

Clone via HTTPS

git clone https://github.com/mgree/smoosh.git

Clone via SSH

[email protected]:mgree/smoosh.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the smoosh issue tracker:

Open GitHub Issues

Similar to smoosh

upterm thefuck gitsome saws haxor-news awesome-macos-command-line awesome-shell PowerShell crouton dockerfiles pure ConEmu dotfiles .tmux awesome-dotfiles dotfiles dotfiles tmux-config dotfiles dotfiles dotfiles dotfiles dotfiles dotfiles vim-anywhere pure-bash-bible bash-handbook terminalizer data-science-at-the-command-line cmder