Out-of-order speculative shell script execution.
☆19Oct 5, 2026Updated 3 weeks ago
Alternatives and similar repositories for hs
Users that are interested in hs 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
- A coarse-grained Dynamic Analysis Framework☆23Jan 24, 2026Updated 9 months 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…☆53Sep 22, 2026Updated last month
- Ahead-of-time analysis of shell program effects☆20Oct 5, 2026Updated 3 weeks ago
- ☆18May 29, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Feb 7, 2024Updated 2 years ago
- Modeling I/O in Coq using free monads☆10Jul 27, 2018Updated 8 years ago
- bpf_fault is a framework enabling custom page fault handling with eBPF. Appeared in SOSP 2026.☆52Oct 11, 2026Updated 2 weeks ago
- A framework for testing compilers' type checkers☆71Mar 17, 2026Updated 7 months ago
- Tests for verifying compliance of RMM implementations☆27Apr 28, 2026Updated 6 months ago
- A dynamic method for detecting faults in incremental and parallel builds.☆18Jul 27, 2022Updated 4 years ago
- ☆11Jan 17, 2023Updated 3 years ago
- A safe & fast low-level language.☆13Mar 5, 2026Updated 7 months ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An instrumentation tool to monitor queue depths in tokio channels☆11Oct 29, 2025Updated last year
- ☆44Dec 25, 2021Updated 4 years ago
- An extension bringing the OpenAI, Anthropic and Gemini APIs to your fingertips inside of Visual Studio Code☆13Jan 31, 2026Updated 8 months ago
- apt virtual environment☆24Apr 23, 2021Updated 5 years ago
- eBPF XDP on GPU☆16Oct 5, 2025Updated last year
- High-throughput, in-kernel network packet classification using machine learning (Proof-of-Concept)☆15Aug 11, 2025Updated last year
- Get dependants of a module on npm.☆18Mar 2, 2023Updated 3 years ago
- ☆10Apr 26, 2026Updated 6 months ago
- A simple, extensible, docker container and HTTP server for microservice-ing Python ML code.☆15Aug 19, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An itree-like data-structure to additionally support internal non-determinism☆23Oct 17, 2026Updated last week
- mTCP: A Highly Scalable User-level TCP Stack for Multicore Systems☆13Nov 30, 2022Updated 3 years ago
- ☆19Nov 28, 2023Updated 2 years ago
- Making eBPF verifier errors as friendly as Rust compiler errors, and let LLM fix it.☆22Aug 5, 2026Updated 2 months ago
- BALab web site☆24Oct 13, 2026Updated 2 weeks ago
- The Coq formalization of the paper Reasoning about the garden of forking paths.☆25Feb 7, 2025Updated last year
- Unit testing for SQL queries☆26Aug 16, 2024Updated 2 years ago
- Implicit monadic dataflow parallelism☆11Sep 26, 2019Updated 7 years ago
- xoroshiro128+ implementation in Rust☆11Jun 5, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Build, traverse and deserialise packed data in Haskell☆11Sep 16, 2026Updated last month
- Always-Correct and Fast Incremental Builds from Simple Specifications☆95Sep 3, 2026Updated last month
- ☆12Jun 11, 2021Updated 5 years ago
- A certified semantics for relational programming workout.☆28Jun 29, 2026Updated 4 months ago
- Available Resources for S.W.E Internships - Applications and Preparation Resources☆21Nov 10, 2020Updated 5 years ago
- Untitled PL Card Game☆20Apr 15, 2021Updated 5 years ago
- A model-based QuickCheck test of ptrees (Patricia trees)☆13Jul 15, 2019Updated 7 years ago