PaSh: Light-touch Data-Parallel Shell Processing
☆593Feb 25, 2026Updated this week
Alternatives and similar repositories for pash
Users that are interested in pash are comparing it to the libraries listed below
Sorting:
- DiSh: Dynamic Shell-Script Distribution☆31Jul 23, 2025Updated 7 months ago
- Data-Aware Shell☆39Jul 27, 2022Updated 3 years ago
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆47Jan 27, 2025Updated last year
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆125Feb 16, 2023Updated 3 years ago
- Explore the impact of virtual memory settings on caching efficiency on Linux systems under memory pressure☆29Dec 19, 2021Updated 4 years ago
- A parallel programming model for online applications with complex synchronization requirements.☆16Jun 8, 2022Updated 3 years ago
- an efficient awk-like language☆1,292Sep 26, 2025Updated 5 months ago
- Sandboxing for GNU Make has never been easier☆254Nov 2, 2022Updated 3 years ago
- tiniest x86-64-linux emulator☆7,449Dec 10, 2025Updated 2 months ago
- 有名な学習済みの機械学習モデルをcliから簡単に利用するためのコマンドです。Quick Using TensorFlow.js Models on CLI.☆10Aug 3, 2022Updated 3 years ago
- Inspect a command's effects before modifying your live system☆5,407Feb 5, 2026Updated 3 weeks ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆488Feb 23, 2026Updated last week
- C-Reduce, a C and C++ program reducer☆1,644Jun 1, 2024Updated last year
- Handling pipe of commands like a single command☆522Oct 16, 2024Updated last year
- Shell supporting pipelines to and from multiple processes☆362May 3, 2024Updated last year
- Minesweeper game written in GNU sed☆23Aug 23, 2022Updated 3 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Aug 3, 2024Updated last year
- jq for binary formats - tool, language and decoders for working with binary and text formats☆10,425Updated this week
- Programmable debugger☆2,028Feb 20, 2026Updated last week
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 4 months ago
- Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!☆3,290Feb 24, 2026Updated last week
- Armv8 A64 Assembly & Intrinsics Guide Server☆26Jul 8, 2023Updated 2 years ago
- unfork(2) is the inverse of fork(2). sort of.☆1,485Apr 21, 2024Updated last year
- Modular generated command line interfaces using the same technology as the NixOS module system.☆44Feb 26, 2023Updated 3 years ago
- Formally verified implementation of Alive in Lean☆41Jul 14, 2023Updated 2 years ago
- Convert Markdown and YAML Data to OCaml Modules☆17Apr 26, 2023Updated 2 years ago
- テキストデータを詠唱呪文に変換するコマンド☆15Jan 10, 2026Updated last month
- 🔍 ugrep 7.5 file pattern searcher -- a user-friendly, faster, more capable grep replacement. Includes a TUI, Google-like Boolean search …☆3,057Dec 15, 2025Updated 2 months ago
- Create microVMs from OCI images☆1,616Feb 9, 2026Updated 3 weeks ago
- A command-line benchmarking tool☆27,598Feb 14, 2026Updated 2 weeks ago
- notice and prevent network egress☆85Jun 7, 2025Updated 8 months ago
- The CompCert formally-verified C compiler☆2,118Updated this week
- ldd as a tree☆2,764Jun 21, 2024Updated last year
- magic-trace collects and displays high-resolution traces of what a process is doing☆5,244Jan 14, 2026Updated last month
- A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooli…☆1,851Feb 2, 2026Updated last month
- build-once run-anywhere c library☆20,577Jan 25, 2026Updated last month
- Higher-Order Contracts for JavaScript☆14Mar 24, 2017Updated 8 years ago
- ShellgetBotのWEB版☆12May 10, 2021Updated 4 years ago
- Base container for developing C++ and Fortran HPC applications☆18Jun 14, 2022Updated 3 years ago