binpash / libdashLinks
The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for Python and OCaml, and tools for generating JSON representations of shell scripts.
☆43Updated 4 months ago
Alternatives and similar repositories for libdash
Users that are interested in libdash are comparing it to the libraries listed below
Sorting:
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆118Updated 2 years ago
- ☆11Updated 3 years ago
- Process behavior monitoring utility and library based on strace☆28Updated 2 years ago
- Command line editor, C api, readline replacement☆25Updated 5 months ago
- Programming language☆31Updated 3 months ago
- Datatype-generic object-oriented transformations for OCaml☆16Updated last week
- A shell AST library in Python☆10Updated 4 months ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- A static parser for POSIX Shell☆194Updated last year
- ☆23Updated 13 years ago
- Copy-on-write NFS server☆15Updated 15 years ago
- A symbolic analyser for shell scripts.☆22Updated 3 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 5 months ago
- A user-extensible lint for POSIX shell☆11Updated 5 years ago
- Sokoban (in Coq) [maintainer=@erikmd]☆22Updated 5 months ago
- What do you mean?☆43Updated 2 months ago
- literate programming meets unison☆28Updated this week
- Interactive memory profiler based on Memtrace☆31Updated last month
- a 9term-compatible terminal in Ruby/Tk☆16Updated 13 years ago
- Modeling DNS with Alloy☆37Updated 3 years ago
- A synchronous, single-threaded interface for starting processes on Linux☆34Updated 3 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated 8 months ago
- Coq plugin for monomorphization and C code generation☆34Updated this week
- report when files change☆39Updated last year
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Plan9 software ported to OCaml☆30Updated this week
- A simple static website generator, written in OCaml☆23Updated 3 years ago
- minimal, sensible alternatives to echo(1)☆16Updated 7 years ago
- A horizontally scaling object store based on the CRUSH placement algorithm.☆11Updated 2 years ago
- Demystifying the magic of supertactics☆13Updated 3 years ago