Top 2 posix-shell open source projects

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

A Pure LISP interpreter written in shell script conformed to POSIX shell