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
  ☆9Updated last month
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆40Updated 3 weeks ago
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆44Updated 7 months ago
• uw-unsat / exoverifier
  ☆16Updated last year
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆22Updated last year
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆104Updated this week
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• rs3lab / KFlex
  ☆25Updated 4 months ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆117Updated 2 months ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆20Updated 2 years ago
• stanford-mast / shinjuku
  ☆45Updated last year
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆87Updated 8 months ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆129Updated this week
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆138Updated 5 months ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆30Updated 3 years ago
• eniac / mucache
  A caching framework for microservice applications
  ☆19Updated 9 months ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆163Updated 2 months ago
• theosotr / buildfs
  A dynamic method for detecting faults in incremental and parallel builds.
  ☆17Updated 2 years ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆24Updated 3 years ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆48Updated 3 weeks ago
• apanwariisc / HawkEye
  The implementation of HawkEye, our research system: "HawkEye: Efficient Fine-grained OS Support for Huge Pages" from ASPLOS 2019.
  ☆18Updated 3 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆89Updated last week
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆23Updated 2 weeks 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 3 years ago
• Morpheus-compiler / Morpheus
  Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22
  ☆34Updated 10 months ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆33Updated 2 years ago
• epfl-dcsl / lancet-tool
  ☆28Updated 6 months ago
• xinjin / course-net-seminar
  Selected Topics in Computer Networks @ Johns Hopkins University
  ☆19Updated 4 years ago
• uclasystem / Mako
  Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.
  ☆14Updated 5 months ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆36Updated 2 weeks ago