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.
☆39Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for libdash
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆113Updated last year
- Command line editor, C api, readline replacement☆25Updated 3 months ago
- Copy-on-write NFS server☆15Updated 15 years ago
- ☆17Updated 4 years ago
- ☆10Updated 2 years ago
- A simple syscall tracer☆17Updated last month
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆19Updated 4 years ago
- Programming language☆31Updated 2 months ago
- Tools to create filesystem images from an fspec filesystem specification.☆15Updated 6 months ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- A user-extensible lint for POSIX shell☆11Updated 5 years ago
- A horizontally scaling object store based on the CRUSH placement algorithm.☆11Updated 2 years ago
- ☆22Updated 12 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- Convert an EBNF grammar to the tree-sitter dsl☆24Updated 11 months ago
- tiny emacs☆25Updated 2 years ago
- Colorful Git diffs for terminal and web, including source syntax highlighting☆24Updated 5 years ago
- A synchronous, single-threaded interface for starting processes on Linux☆28Updated 3 years ago
- The jqsh scripting language☆11Updated 8 years ago
- Prepared statement support for the system command☆29Updated 4 years ago
- Fuzzer and benchmarker for UTF-8 validators☆12Updated 4 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆30Updated 5 months ago
- Process behavior monitoring utility and library based on strace☆26Updated last year
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- minimal, sensible alternatives to echo(1)☆15Updated 6 years ago
- The well-known pager, with performance improvements for huge files☆13Updated 10 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- quick c☆34Updated 2 years ago
- A Datalog Framework for Python☆11Updated last year