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.
☆43Updated 3 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.☆117Updated 2 years ago
- Command line editor, C api, readline replacement☆25Updated 4 months ago
- ☆11Updated 3 years ago
- Process behavior monitoring utility and library based on strace☆28Updated 2 years ago
- Programming language☆31Updated 2 months ago
- ☆18Updated 5 years ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆19Updated 5 years ago
- Copy-on-write NFS server☆15Updated 15 years ago
- a self-hosting lambda calculus compiler☆35Updated last month
- report when files change☆39Updated last year
- Modeling DNS with Alloy☆37Updated 3 years ago
- tiny emacs☆26Updated 3 years ago
- A simple syscall tracer☆17Updated 7 months ago
- A tool for #! scripts with more than one argument☆42Updated 8 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- A shell AST library in Python☆10Updated 3 months ago
- Datatype-generic object-oriented transformations for OCaml☆16Updated last month
- minimal, sensible alternatives to echo(1)☆16Updated 7 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated last week
- epsilon is a scanner generator☆28Updated 2 years ago
- ☆22Updated 13 years ago
- Simple Application Sandboxing☆18Updated 9 months ago
- literate programming meets unison☆28Updated last week
- description of leahutils☆66Updated 3 years ago
- Haskell binding for PADS☆19Updated 5 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 8 months 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 7 months ago
- A coverage-guided, native Lua fuzzing engine.☆40Updated 3 weeks ago
- tests☆10Updated 6 years ago