3
Repos
680
Stars
34
Forks
140
Watchers
Repositories (3)
ffs
mgree/ffs
Rust
the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
500
17
smoosh
mgree/smoosh
OCaml
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
127
5
libdash
binpash/libdash
C
The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for Python and OCaml, and tools for generating JSON representations of shell scripts.
53
12