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 6 months ago
- Experiment on how to bootstrap the OCaml compiler☆107Updated 3 years ago
- A custom parser/auto-formatter for Standard ML☆79Updated last week
- Cogent Project☆166Updated 5 months ago
- Lem semantic definition language☆145Updated 5 months ago
- Sed Lisp -- a lisp interpreter in GNU sed☆54Updated 4 years ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- types for various combinatory systems, especialy tree calculi☆19Updated 7 months ago
- Sokoban (in Coq) [maintainer=@erikmd]☆23Updated 7 months ago
- Forward build system with speculation and caching☆108Updated last year
- Forge: A Tool and Language for Teaching Formal Methods☆83Updated last month
- Mostly Automated Synthesis of Correct-by-Construction Programs☆154Updated last week
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆35Updated 2 weeks ago
- The Makam Metalanguage☆199Updated 2 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated last month
- The Twelf Programming Language☆141Updated this week
- ☆89Updated 3 years ago
- CN separation logic refinement type system for C☆32Updated last week
- A compiler for functional programs on serialized data☆167Updated 2 months ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Implementation of the λΠ-calculus modulo rewriting☆214Updated 3 months ago
- Command line editor, C api, readline replacement☆25Updated 8 months ago
- Tool to count lines of source code.☆252Updated last year
- Freestanding OCaml runtime☆105Updated 2 weeks ago
- Oleg Kiselyov's zipper-based file-server/OS☆26Updated 5 years ago
- Cerberus C semantics☆66Updated last week
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆72Updated this week
- Standard ML autoformatter☆15Updated 3 years ago
- Parallel ML compiler☆73Updated 5 years ago