Alternatives and similar repositories for dish

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

• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆92Updated last year
• 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
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆141Updated this week
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆162Updated this week
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆50Updated this week
• llnl / umap
  User-space Page Management
  ☆111Updated last year
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆274Updated last week
• binpash / pash
  PaSh: Light-touch Data-Parallel Shell Processing
  ☆587Updated last week
• kozyraki / stamp
  the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research
  ☆44Updated 4 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆22Updated 3 years ago
• tchajed / protocol-verification-fa2023
  Assignments for COMP SCI 839 from UW-Madison in Fall 2023
  ☆11Updated 2 years ago
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆12Updated 5 years ago
• uwplse / ferrite
  Ferrite, a toolkit for developing file system crash-consistency models
  ☆20Updated 9 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆180Updated 3 weeks ago
• uw-unsat / exoverifier
  ☆18Updated 2 years ago
• stanford-mast / shinjuku
  ☆48Updated 2 years ago
• damonitor / damo
  DAMON user-space tool
  ☆59Updated 2 weeks ago
• lovasoa / TPCH-sqlite
  SQLite TPCH database
  ☆39Updated 8 years ago
• Lingzhi-Ouyang / Remix
  ☆13Updated 8 months ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆42Updated last year
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆25Updated 2 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆53Updated last week
• andromeda / lya
  A Coarse-grained Dynamic Analysis Framework
  ☆23Updated 3 weeks ago
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆59Updated 3 weeks ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆187Updated 2 weeks ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆40Updated last year
• staceyson / splash2
  Splash 2 Benchmarks
  ☆21Updated 11 years ago
• 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 5 months ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆75Updated 6 months ago
• facebookresearch / DCPerf
  DCPerf benchmark suite for hyperscale cloud applications
  ☆225Updated this week