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.
☆47Jan 27, 2025Updated last year
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.☆125Feb 16, 2023Updated 3 years ago
- Simplified shell reimplementation of containers — see also https://github.com/arachsys/containers☆13Jan 25, 2023Updated 3 years ago
- Work in progress. (Not finished yet) Slim down (GNU) core utils to 64kB, statically linked with minilib.☆15Oct 30, 2023Updated 2 years ago
- A mashup of virtual terminal (vt) and shell (sh) giving an acme-like editor / development environment with Emacs bindings for programmers…☆17Aug 26, 2022Updated 3 years ago
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- Simple & compliant implementation of common UNIX userspace utilities☆10Oct 23, 2024Updated last year
- Portable Event Library☆18Apr 28, 2025Updated 9 months ago
- Strip 64bit elf binaries aggressively☆13Aug 5, 2021Updated 4 years ago
- posix compatible lex utility which compiles to ~60KB☆27Aug 27, 2022Updated 3 years ago
- macOS bindings to the FSEvents API☆18Nov 24, 2025Updated 3 months ago
- Minimal PID 1 for initramfs☆19Jan 16, 2025Updated last year
- A secure utmp/wtmp implementation☆19Jan 21, 2026Updated last month
- The tiny terminal text editor. Fighting bloatware - 600loc, linked statically with minilib linux32bit: 8k, osx x64: 20k☆20Sep 23, 2019Updated 6 years ago
- Intel 8080 CPU emulation library☆15Jun 4, 2018Updated 7 years ago
- A collection of standard Unix utilities that is intended to provide maximum compatibility with traditional Unix while incorporating addi…☆48Jan 11, 2026Updated last month
- Basic Init Daemon in POSIX sh☆28Jul 17, 2020Updated 5 years ago
- A C peg parser generator (a fork of peg/leg)☆27Aug 9, 2022Updated 3 years ago
- A small Linux sandbox☆18Feb 18, 2026Updated last week
- rio-wayland shim server☆21Sep 10, 2023Updated 2 years ago
- A plan9 executable and debug info parser☆18Jul 18, 2023Updated 2 years ago
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Oct 13, 2020Updated 5 years ago
- Tiny package manager for Linux.☆22Sep 14, 2025Updated 5 months ago
- OCaml bindings for RocksDB☆22Oct 26, 2023Updated 2 years ago
- a Plan 9-like system based using tamago☆18Oct 10, 2023Updated 2 years ago
- Simple but compact wget replacement for embedded devices☆24Jan 17, 2024Updated 2 years ago
- A readline replacement. This is an evolution of the tinyrl library from clish.☆11Jan 29, 2016Updated 10 years ago
- An HTTP server written in POSIX shell script☆45Jan 2, 2024Updated 2 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- some kind of operating system☆12Oct 10, 2025Updated 4 months ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Oct 13, 2021Updated 4 years ago
- Linux fork of FreeBSD crunch☆17Jan 30, 2012Updated 14 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Utility that parses stack sizes section from elf objects and displays the preallocated stack size of each function.☆14Jan 15, 2020Updated 6 years ago
- A c standard system library with a focus on size, headeronly, "singlefile", intended for static linking. 187 Bytes for "Hello World"(regu…☆42Dec 17, 2022Updated 3 years ago
- Lenses and tracked selectors enhancer and hooks for reductive.☆14Jan 5, 2023Updated 3 years ago
- Context-free grammar parsing library☆10Oct 6, 2024Updated last year
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- Now I shall sing the second kingdom there where the soul of man is cleansed, made worthy to ascend to Heaven.☆12Dec 15, 2025Updated 2 months ago
- Japanese Font for programming (0xProto + HackGen)☆10Apr 14, 2024Updated last year