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
  ☆90Updated last year
• tchajed / protocol-verification-fa2023
  Assignments for COMP SCI 839 from UW-Madison in Fall 2023
  ☆11Updated last year
• binpash / pash
  PaSh: Light-touch Data-Parallel Shell Processing
  ☆580Updated last month
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆135Updated 3 weeks ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆132Updated this week
• 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
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆21Updated 3 years ago
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆48Updated last year
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆11Updated 5 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆156Updated last month
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆269Updated last week
• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆56Updated last year
• stanford-mast / shinjuku
  ☆48Updated 2 years ago
• google / ghost-userspace
  ☆235Updated last year
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆35Updated 2 years ago
• Morpheus-compiler / Morpheus
  Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22
  ☆35Updated last year
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆83Updated 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
• uw-unsat / yggdrasil
  ☆33Updated 3 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 2 months ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆24Updated last year
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆40Updated 11 months ago
• kozyraki / stamp
  the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research
  ☆44Updated 3 years ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• bpfverif / agni
  ☆39Updated last week
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆54Updated 3 months ago
• LLNL / umap
  User-space Page Management
  ☆108Updated last year
• blakecaldwell / fluidmem
  Open memory disaggregation
  ☆25Updated 5 years ago
• LinuxPerfStudy / LEBench
  ☆63Updated last year
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆38Updated last year