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
  ☆10Updated 3 months ago
• 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…
  ☆42Updated 3 months ago
• deeptir18 / posh
  Data-Aware Shell
  ☆39Updated 2 years ago
• andromeda / mir
  Module-level RWX permissions for Node.js
  ☆35Updated 8 months ago
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆46Updated 9 months 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
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆121Updated last week
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated 9 months ago
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆10Updated 4 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆23Updated last year
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆82Updated 2 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆89Updated 10 months ago
• eniac / mucache
  A caching framework for microservice applications
  ☆20Updated last year
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆52Updated this week
• uclasystem / Mako
  Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.
  ☆14Updated 7 months ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆109Updated this week
• westerndigitalcorporation / hmmap
  Heterogeneous memory mapper (hmmap)
  ☆10Updated 4 years ago
• sibylfs / sibylfs_src
  Source for SibylFS model and test tools
  ☆35Updated 4 years ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆24Updated 3 years ago
• stanford-mast / shinjuku
  ☆47Updated 2 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 9 months ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆171Updated last month
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆20Updated 2 years ago
• damonitor / damo
  DAMON user-space tool
  ☆37Updated this week
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆37Updated 6 months ago
• LLNL / umap
  User-space Page Management
  ☆107Updated 8 months ago
• ut-osa / assise
  ☆57Updated 3 years ago
• yuhong-zhong / bpf-storage-hotos
  ☆20Updated 3 years ago
• sherlockwu / OptaneBench
  Benchmark for Intel Optane SSD, towards an unwritten contract of Intel Optane SSD
  ☆20Updated 5 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year