Alternatives and similar repositories for dish:

Users that are interested in dish are comparing it to the libraries listed below

• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆117Updated last month
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆40Updated 2 weeks ago
• binpash / shasta
  A shell AST library in Python
  ☆10Updated this week
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆18Updated 7 months ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆86Updated 6 months ago
• blakecaldwell / fluidmem
  Open memory disaggregation
  ☆25Updated 4 years ago
• deeptir18 / posh
  Data-Aware Shell
  ☆38Updated 2 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆19Updated 2 years ago
• stanford-mast / shinjuku
  ☆45Updated last year
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆99Updated this week
• LLNL / umap
  User-space Page Management
  ☆106Updated 5 months ago
• project-flexos / unikraft
  FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
  ☆22Updated last year
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆69Updated 6 months ago
• yuhong-zhong / bpf-storage-hotos
  ☆20Updated 3 years ago
• COS-IN / iluvatar-faas
  ☆19Updated this week
• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆60Updated last year
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆80Updated 2 years ago
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆42Updated 6 months ago
• andromeda / lya
  A Coarse-grained Dynamic Analysis Framework
  ☆19Updated 2 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆30Updated 2 years ago
• firecracker-microvm / nsdi2020-data
  ☆23Updated 4 years ago
• vhive-serverless / vSwarm
  A suite of representative serverless cloud-agnostic (i.e., dockerized) benchmarks
  ☆51Updated this week
• JunctionOS / junction
  Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security
  ☆89Updated last week
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• WiscADSL / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆16Updated last year
• kozyraki / stamp
  the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research
  ☆42Updated 3 years ago
• rs3lab / KFlex
  ☆24Updated 3 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆137Updated 4 months ago
• WiscADSL / uFS
  A Filesystem Semi-Microkernel.
  ☆37Updated last year
• DINT-NSDI24 / DINT
  [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF
  ☆40Updated 6 months ago