binpash / dishLinks
DiSh: Dynamic Shell-Script Distribution
☆29Updated 2 months ago
Alternatives and similar repositories for dish
Users that are interested in dish are comparing it to the libraries listed below
Sorting:
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆133Updated this week
- Always-Correct and Fast Incremental Builds from Simple Specifications☆90Updated last year
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆11Updated last year
- Major CS conference publication stats (including accepted and submitted) by year.☆151Updated last month
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆107Updated last year
- fine-grained, cgroup-based tool for profiling memory usage over time of a process tree☆49Updated last year
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22Updated 3 years ago
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆24Updated 2 years ago
- PaSh: Light-touch Data-Parallel Shell Processing☆580Updated 2 months ago
- ☆48Updated 2 years ago
- the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research☆44Updated 4 years ago
- ☆33Updated 3 years ago
- User-space Page Management☆108Updated last year
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆270Updated this week
- Generic model checker for concurrent C programs (mirror repository)☆158Updated last week
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Updated last year
- A Coarse-grained Dynamic Analysis Framework☆23Updated 3 years ago
- HotCRP conference review software☆374Updated this week
- Petr4: Formal Semantics for P4☆82Updated 4 months ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆33Updated 3 years ago
- Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22☆35Updated last year
- A Reading List of System Configuration Management☆56Updated last year
- LiTL: Library for Transparent Lock Interposition☆84Updated 2 years ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆83Updated 3 years ago
- 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
- ☆64Updated last year
- Course website for Systems Verification Fall 2024☆12Updated 3 months ago
- DCPerf benchmark suite for hyperscale cloud applications☆210Updated this week
- Yizhou' Homepage☆51Updated 2 months ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆16Updated 5 months ago