mgree / smooshLinks
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
Sorting:
- A static parser for POSIX Shell☆194Updated last year
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆43Updated 4 months ago
- Lem semantic definition language☆139Updated 2 months ago
- A custom parser/auto-formatter for Standard ML☆76Updated 3 weeks ago
- Experiment on how to bootstrap the OCaml compiler☆106Updated 3 years ago
- Cogent Project☆165Updated 2 months ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆152Updated 2 months ago
- A tool for #! scripts with more than one argument☆42Updated 8 years ago
- Forward build system with speculation and caching☆106Updated last year
- Robust multi-prompt delimited control and effect handlers in C/C++☆119Updated last year
- ALLVM Tools☆56Updated 3 years ago
- A compiler for functional programs on serialized data☆164Updated this week
- A deterministic parser with fused lexing☆73Updated last year
- Goose converts a subset of Go to Rocq☆120Updated last week
- Symbolic formula representation and solver interaction library☆161Updated 2 months ago
- Sokoban (in Coq) [maintainer=@erikmd]☆22Updated 5 months ago
- Sed Lisp -- a lisp interpreter in GNU sed☆54Updated 4 years ago
- An interactive theorem prover based on lambda-tree syntax☆95Updated 2 weeks ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆51Updated last week
- A Verified Compiler for Gallina, Written in Gallina☆151Updated last month
- Implementation of the λΠ-calculus modulo rewriting☆209Updated last month
- ☆89Updated 3 years ago
- Program logic for developing and verifying distributed systems☆34Updated 2 weeks ago
- A mechanisation of Wasm in Coq(Rocq)☆105Updated this week
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- Hash-based Diffing for AST's☆76Updated 5 years ago
- Freestanding OCaml runtime☆105Updated 2 months ago
- Hoare Type Theory☆75Updated 3 weeks ago
- ☆64Updated 2 years ago