Alternatives and similar repositories for dish

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

• binpash / shasta
  A shell AST library in Python
  ☆10Updated 5 months ago
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆48Updated 11 months ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆89Updated last year
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆120Updated this week
• kbensh / koala
  A benchmark suite for performance-oriented shell-optimization research
  ☆10Updated this week
• eniac / mucache
  A caching framework for microservice applications
  ☆20Updated last year
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆46Updated 8 months ago
• dspinellis / rdbunit
  Unit testing for SQL queries
  ☆24Updated 10 months ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆128Updated last week
• rs3lab / KFlex
  ☆30Updated 3 months ago
• andromeda / mir
  Module-level RWX permissions for Node.js
  ☆35Updated 10 months ago
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆49Updated this week
• deeptir18 / posh
  Data-Aware Shell
  ☆39Updated 2 years ago
• westerndigitalcorporation / hmmap
  Heterogeneous memory mapper (hmmap)
  ☆10Updated 4 years ago
• LLNL / cruise
  User space POSIX-like file system in main memory
  ☆38Updated 8 years ago
• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆65Updated 4 years ago
• andromeda / lya
  A Coarse-grained Dynamic Analysis Framework
  ☆21Updated 2 years ago
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆82Updated 3 years ago
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆11Updated 4 years ago
• LLNL / umap
  User-space Page Management
  ☆109Updated 10 months ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• uclasystem / Mako
  Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.
  ☆14Updated 9 months ago
• nkallima / Synch-Framework
  An open-source framework for concurrent data-structures and benchmarks. 🛠️ Latest Dev Branch: v3.4.0-dev 🚀 https://github.com/nkallima/…
  ☆68Updated 2 months ago
• JunctionOS / junction
  Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security
  ☆102Updated 3 weeks ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆198Updated last year
• multicore-locks / litl
  LiTL: Library for Transparent Lock Interposition
  ☆82Updated last year
• xinjin / course-net-seminar
  Selected Topics in Computer Networks @ Johns Hopkins University
  ☆19Updated 4 years ago
• illinoisdata / kishu
  ☆64Updated last month
• deeptir18 / cornflakes
  A zero-copy serialization library and networking stack.
  ☆47Updated last year
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆23Updated last year