binpash / libdash
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.
☆40Updated last month
Alternatives and similar repositories for libdash:
Users that are interested in libdash are comparing it to the libraries listed below
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆118Updated 2 years ago
- ☆11Updated 3 years ago
- Command line editor, C api, readline replacement☆25Updated 2 months ago
- A static parser for POSIX Shell☆194Updated last year
- Process behavior monitoring utility and library based on strace☆28Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated 2 months ago
- Copy-on-write NFS server☆15Updated 15 years ago
- ☆17Updated 5 years ago
- report when files change☆39Updated last year
- Attribute grammar Based Language Extensions for C☆40Updated 2 weeks ago
- Programming language☆31Updated last week
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 5 years ago
- A Datalog Framework for Python☆11Updated last year
- A custom parser/auto-formatter for Standard ML☆75Updated last year
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- A tool for #! scripts with more than one argument☆42Updated 8 years ago
- APL-like functions for use from Lua.☆18Updated 9 years ago
- ALLVM Tools☆56Updated 2 years ago
- A simple syscall tracer☆17Updated 4 months ago
- Tools to create filesystem images from an fspec filesystem specification.☆15Updated 10 months ago
- Modeling DNS with Alloy☆37Updated 3 years ago
- A shell AST library in Python☆9Updated last month
- Experiment on how to bootstrap the OCaml compiler☆103Updated 2 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆53Updated 4 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆103Updated 5 months ago
- ☆22Updated 13 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Vim plugin for TLA+ and PlusCal☆29Updated 3 weeks ago
- A user-extensible lint for POSIX shell☆11Updated 5 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago