Alternatives and similar repositories for dish

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

• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆48Updated last year
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆130Updated this week
• binpash / pash
  PaSh: Light-touch Data-Parallel Shell Processing
  ☆577Updated 2 weeks ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆269Updated 2 weeks ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆90Updated last year
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆136Updated 2 months ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated last year
• LLNL / umap
  User-space Page Management
  ☆108Updated last year
• kozyraki / stamp
  the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research
  ☆44Updated 3 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆156Updated last month
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• Morpheus-compiler / Morpheus
  Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22
  ☆35Updated last year
• uw-unsat / yggdrasil
  ☆33Updated 3 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 5 years ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆179Updated 2 months ago
• google / ghost-userspace
  ☆233Updated last year
• stanford-mast / shinjuku
  ☆48Updated 2 years ago
• patrickmarlier / tinystm
  Official public repository for TinySTM (tmware.org)
  ☆48Updated 10 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆24Updated last year
• karineek / CsmithEdge
  A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …
  ☆17Updated last month
• bpfverif / agni
  ☆37Updated this week
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆38Updated 10 months ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆35Updated 2 years ago
• google / ghost-kernel
  ☆226Updated last year
• 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…
  ☆62Updated 2 years ago
• LinuxPerfStudy / LEBench
  ☆63Updated last year
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆11Updated 5 years ago
• uwplse / ferrite
  Ferrite, a toolkit for developing file system crash-consistency models
  ☆19Updated 9 years ago
• frdwarf / dwarf-synthesis
  ☆29Updated 5 years ago
• upenn-acg / ocolos-public
  Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.
  ☆52Updated 2 months ago