mgree / smooshLinks
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
☆123Updated 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 8 months ago
- Experiment on how to bootstrap the OCaml compiler☆108Updated 3 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 4 years ago
- A custom parser/auto-formatter for Standard ML☆82Updated last month
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- Lem semantic definition language☆146Updated 6 months ago
- Cogent Project☆169Updated 6 months ago
- Sokoban (in Coq) [maintainer=@erikmd]☆23Updated 9 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated 2 months ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆36Updated last month
- Command line editor, C api, readline replacement☆25Updated 9 months ago
- CN separation logic refinement type system for C☆34Updated this week
- My PhD Thesis☆15Updated 3 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆89Updated 3 months ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆154Updated last week
- Freestanding OCaml runtime☆105Updated 2 weeks ago
- Library for automatic unit testing of Standard ML modules☆71Updated 5 years ago
- ALLVM Tools☆56Updated 3 years ago
- The Makam Metalanguage☆199Updated 2 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆126Updated last year
- The Caml Light implementation of the Caml language☆67Updated 2 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆102Updated 4 months ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Filesystem access tracer☆84Updated last year
- Alternative algorithm for algebraic subtyping.☆170Updated last week
- A pure type system implemented in OCaml☆77Updated 4 years ago
- Forward build system with speculation and caching☆108Updated last year
- ☆89Updated 3 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago