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
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆145Updated this week
• stanford-mast / shinjuku
  ☆48Updated 2 years ago
• tchajed / protocol-verification-fa2023
  Assignments for COMP SCI 839 from UW-Madison in Fall 2023
  ☆12Updated 2 years ago
• llnl / umap
  User-space Page Management
  ☆111Updated 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…
  ☆64Updated 2 years ago
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆84Updated 3 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆25Updated 2 years ago
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆50Updated last month
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆22Updated 3 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆166Updated last month
• rs3lab / KFlex
  ☆36Updated 10 months ago
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆13Updated 5 years ago
• bpfverif / agni
  ☆47Updated this week
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆38Updated 2 months ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆61Updated 8 months ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆13Updated 6 months ago
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 4 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆50Updated last year
• Morpheus-compiler / Morpheus
  Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22
  ☆35Updated last year
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• fix-project / fix
  ☆12Updated 3 weeks ago
• DINT-NSDI24 / DINT
  [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF
  ☆53Updated last year
• ShawnZhong / DepSurf
  Revealing the Unstable Foundations of eBPF-Based Kernel Extensions
  ☆17Updated 8 months ago
• DBOS-project / dbos-scheduler
  ☆28Updated 4 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆53Updated last month
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• xinjin / course-net-seminar
  Selected Topics in Computer Networks @ Johns Hopkins University
  ☆19Updated 5 years ago
• utsaslab / crashmonkey
  CrashMonkey: tools for testing file-system reliability (OSDI 18)
  ☆205Updated 3 years ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆186Updated last month