3 results found Sort:

MrPicklePinosaur
shrs MrPicklePinosaur
24
295
apache-2.0
2
The rusty shell toolkit for hackers
rust shrs unix posix shell posix-shell contributions-welcome
Created 2023-02-02
442 commits to master branch, last one 12 days ago
mgree
smoosh mgree
4
111
mit
8
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
sh posix shell posix-sh semantics posix-shell formalization shell-scripting symbolic-execution
Created 2018-09-26
1,050 commits to master branch, last one about a year ago
wolandark
BASH_Scripts_For_Everyone wolandark
2
69
gpl-3.0
2
A collection of BASH scripts that might benefit all *nix users
bash shell posix-shell shell-script posix-compatible
Created 2023-03-05
67 commits to main branch, last one 5 months ago