Pinned Loading

1. binpash/try binpash/try Public

   Inspect, control, and manipulate a command's effects before modifying your live system.

   Shell 5.5k 81

2. smoosh smoosh Public

   The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

   OCaml 134 6

3. ffs ffs Public

   the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem

   Rust 501 17

4. binpash/pash binpash/pash Public

   PaSh: Light-touch Data-Parallel Shell Processing

   Shell 605 54

5. HarvardPL/formulog HarvardPL/formulog Public

   Datalog with support for SMT queries and first-order functional programming

   Java 181 11

6. binpash/libdash binpash/libdash Public

   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 representatio…

   C 53 12