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☆200Updated 2 years ago
- 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 11 months ago
- Experiment on how to bootstrap the OCaml compiler☆111Updated 3 years ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- Lem semantic definition language☆148Updated 9 months ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 5 years ago
- A custom parser/auto-formatter for Standard ML☆86Updated 4 months ago
- Cogent Project☆174Updated 9 months ago
- Forward build system with speculation and caching☆110Updated 2 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆41Updated last month
- Mostly Automated Synthesis of Correct-by-Construction Programs☆154Updated last month
- Sokoban (in Coq) [maintainer=@erikmd]☆24Updated 11 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆94Updated 2 weeks ago
- CN separation logic refinement type system for C☆43Updated last week
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆42Updated last year
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- ☆89Updated 3 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Network Semantics☆91Updated 6 years ago
- ALLVM Tools☆56Updated 3 years ago
- Filesystem access tracer☆86Updated last year
- Coq library for verified low-level programming☆61Updated 8 years ago
- A deterministic parser with fused lexing☆75Updated 2 years ago
- Alternative algorithm for algebraic subtyping.☆171Updated last month
- ATS2: Unleashing the Potentials of Types and Templates☆46Updated 6 years ago
- Command line editor, C api, readline replacement☆26Updated last year
- A LaTeX package for formatting meta-theory.☆46Updated 5 years ago
- Symbolic formula representation and solver interaction library☆171Updated 2 weeks ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆19Updated last week
- FunTAL: mixing a functional language with assembly.☆41Updated 8 years ago