Alternatives and similar repositories for dish:

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

• 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 2 months ago
• binpash / shasta
  A shell AST library in Python
  ☆9Updated 2 months ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆119Updated 3 months ago
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆46Updated 8 months ago
• deeptir18 / posh
  Data-Aware Shell
  ☆39Updated 2 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆87Updated 9 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 3 years ago
• stanford-mast / shinjuku
  ☆46Updated last year
• rs3lab / KFlex
  ☆27Updated 2 weeks ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆106Updated 8 months ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆106Updated this week
• uclasystem / Mako
  Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.
  ☆14Updated 6 months ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆32Updated 6 months ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆50Updated 2 weeks ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆37Updated last week
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆22Updated last year
• cucapra / styleguide
  rules for writing and typesetting
  ☆24Updated 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 4 years ago
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆81Updated 2 years ago
• stonysystems / rolis
  Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions
  ☆16Updated 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 last year
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆18Updated 9 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆144Updated last month
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆45Updated 5 months ago
• epfl-dias / proteus
  Proteus is a database engine (research prototype) designed for today's heterogeneous environments. Proteus adapts to variable data, hardw…
  ☆24Updated last year
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆20Updated 2 years ago
• theosotr / buildfs
  A dynamic method for detecting faults in incremental and parallel builds.
  ☆17Updated 2 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆70Updated 8 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year