mgree / smoosh
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
☆118Updated 2 years ago
Alternatives and similar repositories for smoosh:
Users that are interested in smoosh are comparing it to the libraries listed below
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆41Updated 2 months ago
- A static parser for POSIX Shell☆194Updated last year
- Experiment on how to bootstrap the OCaml compiler☆104Updated 2 years ago
- Lem semantic definition language☆138Updated 2 weeks ago
- A custom parser/auto-formatter for Standard ML☆75Updated 3 weeks ago
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- Cogent Project☆162Updated 2 weeks ago
- Cerberus C semantics☆61Updated last week
- Sed Lisp -- a lisp interpreter in GNU sed☆53Updated 4 years ago
- A deterministic parser with fused lexing☆72Updated last year
- Mostly Automated Synthesis of Correct-by-Construction Programs☆151Updated last week
- Forge: A Tool and Language for Teaching Formal Methods☆73Updated this week
- Sokoban (in Coq) [maintainer=@erikmd]☆21Updated 2 months ago
- Goose converts a subset of Go to Rocq☆113Updated last week
- ALLVM Tools☆56Updated 3 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- Freestanding OCaml runtime☆103Updated 2 weeks ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated 3 months ago
- A script for running TLA+/TLC from the command line☆81Updated 3 years ago
- Forward build system with speculation and caching☆102Updated last year
- Robust multi-prompt delimited control and effect handlers in C/C++☆115Updated last year
- The Makam Metalanguage☆198Updated 2 years ago
- Network Semantics☆87Updated 6 years ago
- Standard ML autoformatter☆15Updated 3 years ago
- Symbolic formula representation and solver interaction library☆157Updated last week
- An interactive theorem prover based on lambda-tree syntax☆94Updated 2 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- ☆54Updated last month
- A tool for #! scripts with more than one argument☆42Updated 8 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆36Updated 5 months ago