◐ Shell
clean mode source ↗

mgree - Overview

Skip to content

Navigation Menu

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Pinned Loading

  1. Inspect a command's effects before modifying your live system

    Shell 5.4k 77

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

    OCaml 129 5

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

    Rust 493 16

  4. PaSh: Light-touch Data-Parallel Shell Processing

    Shell 600 52

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

    Java 174 10

  6. 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 49 11