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 6 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
- A static parser for POSIX Shell☆194Updated last year
- Command line editor, C api, readline replacement☆25Updated 7 months ago
- ☆18Updated 5 years ago
- Process behavior monitoring utility and library based on strace☆28Updated 2 years ago
- A language for pipe-based programming☆53Updated 2 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆54Updated 4 years ago
- Code for http://oilshell.org/blog/☆50Updated last month
- Russ Cox/Rob Pike pikevm regex implementation☆33Updated last month
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated 10 months ago
- blending sam with the shell experiment☆23Updated 6 years ago
- A secure utmp/wtmp implementation☆19Updated 2 months ago
- tiny emacs☆26Updated 3 years ago
- description of leahutils☆68Updated 3 years ago
- cparse is an LR(1) and LALR(1) parser generator☆51Updated 2 weeks ago
- Modeling DNS with Alloy☆37Updated 3 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- ☆11Updated 3 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 5 years ago
- Programming language☆37Updated 3 weeks ago
- A simple syscall tracer☆17Updated 10 months ago
- Brainfuck with Actors☆36Updated 6 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated 2 weeks ago
- A Datalog Framework for Python☆12Updated 2 years ago
- Korn Shell (93v- 2014-12-24 or greater) Debugger☆39Updated last year
- A tool for #! scripts with more than one argument☆42Updated 8 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- bcc is a b compiler☆34Updated 3 years ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago