PaSh: Light-touch Data-Parallel Shell Processing
☆604Sep 28, 2026Updated last month
Alternatives and similar repositories for pash
Users that are interested in pash are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A benchmark suite for performance-oriented shell-optimization research☆36Sep 21, 2026Updated last month
- DiSh: Dynamic Shell-Script Distribution☆31Jul 23, 2025Updated last year
- A shell AST library in Python☆17Oct 23, 2026Updated 2 weeks ago
- Module-level RWX permissions for Node.js☆36Aug 23, 2024Updated 2 years ago
- Out-of-order speculative shell script execution.☆19Oct 5, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆53Sep 22, 2026Updated last month
- Ahead-of-time analysis of shell program effects☆21Oct 5, 2026Updated last month
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆134Feb 16, 2023Updated 3 years ago
- A coarse-grained Dynamic Analysis Framework☆23Jan 24, 2026Updated 9 months ago
- A parallel programming model for online applications with complex synchronization requirements.☆17Jun 8, 2022Updated 4 years ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆500Updated this week
- Inspect, control, and manipulate a command's effects before modifying your live system.☆5,507Oct 14, 2026Updated 3 weeks ago
- A framework for correctly implementing stateful microservice applications on serverless using standard Python.☆13Jan 5, 2023Updated 3 years ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆95Sep 3, 2026Updated 2 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated 2 years ago
- Shell supporting pipelines to and from multiple processes☆364May 3, 2024Updated 2 years ago
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 6 months ago
- Staged programming for Rust. Write type-safe proc macros and high-level APIs that generate efficient code.☆28Updated this week
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Jun 29, 2024Updated 2 years ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 10 years ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated last year
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An itree-like data-structure to additionally support internal non-determinism☆24Updated this week
- Generic model checker for concurrent C programs (mirror repository)☆226Updated this week
- 🦠 Reusable components based on algebraic effects☆54Jun 19, 2026Updated 4 months ago
- an efficient awk-like language☆1,318Sep 26, 2025Updated last year
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- cli launcher menu for games (or anything), the UNIX way.☆14May 26, 2025Updated last year
- Generate embeddings for audio files (music, speech, sounds) and text using CLAP with llm☆22May 15, 2025Updated last year
- OCaml syntax extension for quoting code☆28Oct 30, 2026Updated last week
- The Vellvm (Verified LLVM) coq development.☆505Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Function Message Interface (FMI): library for message-passing and collective communication for serverless functions.☆22Apr 16, 2024Updated 2 years ago
- Transport-polymorphic, asynchronous session types for Rust☆64Oct 19, 2022Updated 4 years ago
- The CompCert formally-verified C compiler☆2,270Updated this week
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated last month
- 有名な学習済みの機械学習モデルをcliから簡単に利用するためのコマンドです。Quick Using TensorFlow.js Models on CLI.☆10Aug 3, 2022Updated 4 years ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated last year
- A work-in-progress language and compiler for verified low-level programming☆342Oct 23, 2026Updated 2 weeks ago