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 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
- Process behavior monitoring utility and library based on strace☆26Updated last year
- Copy-on-write NFS server☆15Updated 15 years ago
- A user-extensible lint for POSIX shell☆11Updated 5 years ago
- Programming language☆31Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- A static parser for POSIX Shell☆191Updated 11 months ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- A symbolic analyser for shell scripts.☆22Updated 3 years ago
- A Datalog Framework for Python☆11Updated last year
- Prepared statement support for the system command☆29Updated 4 years ago
- ☆10Updated 3 years ago
- Modeling DNS with Alloy☆37Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- ☆22Updated 12 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated last year
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- A custom parser/auto-formatter for Standard ML☆68Updated 11 months ago
- DiSh: Dynamic Shell-Script Distribution☆23Updated this week
- Command line editor, C api, readline replacement☆25Updated 3 months ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆19Updated 4 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆30Updated 5 months ago
- Fuzzer and benchmarker for UTF-8 validators☆12Updated 4 years ago
- Cerberus C semantics☆53Updated this week
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆101Updated 2 months ago
- literate programming meets unison☆27Updated 6 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆18Updated last year
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated 10 months ago
- Type Error Feedback via Analytic Program Repair☆16Updated last year
- APL-like functions for use from Lua.☆17Updated 9 years ago