mgree / smooshLinks
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
☆124Updated 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☆196Updated 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…☆46Updated 9 months ago
- Experiment on how to bootstrap the OCaml compiler☆110Updated 3 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 4 years ago
- Lem semantic definition language☆147Updated 7 months ago
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- A custom parser/auto-formatter for Standard ML☆83Updated 2 months ago
- Forward build system with speculation and caching☆108Updated 2 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆155Updated last month
- ALLVM Tools☆56Updated 3 years ago
- Sokoban (in Coq) [maintainer=@erikmd]☆23Updated 9 months ago
- CN separation logic refinement type system for C☆38Updated this week
- The Makam Metalanguage☆199Updated 2 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated 3 months ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆36Updated last week
- ☆89Updated 3 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆91Updated last week
- A tool for #! scripts with more than one argument☆43Updated 8 years ago
- A compiler for functional programs on serialized data☆172Updated last week
- Network Semantics☆90Updated 6 years ago
- Coq library for verified low-level programming☆60Updated 8 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆128Updated last year
- A mechanisation of Wasm in Coq(Rocq)☆109Updated 2 months ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆18Updated last year
- Hoare Type Theory☆81Updated 4 months ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- ☆56Updated last week
- A pure type system implemented in OCaml☆77Updated 4 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago