binpash / dish
DiSh: Dynamic Shell-Script Distribution
☆23Updated this week
Related projects ⓘ
Alternatives and complementary repositories for dish
- 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 9 months ago
- Major CS conference publication stats (including accepted and submitted) by year.☆112Updated 2 months ago
- ☆45Updated last year
- Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.☆14Updated 2 months ago
- fine-grained, cgroup-based tool for profiling memory usage over time of a process tree☆42Updated 4 months ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆104Updated 3 months ago
- ☆20Updated 3 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆29Updated 2 years ago
- MemLiner is a remote-memory-friendly runtime system.☆30Updated 2 years ago
- A user level library for applications to transparently use Intel DSA.☆23Updated last month
- Always-Correct and Fast Incremental Builds from Simple Specifications☆85Updated 5 months ago
- 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
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Updated 3 years ago
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆18Updated 5 months ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆73Updated this week
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆22Updated last year
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆21Updated last year
- A program synthesis framework for verified lifting applications☆39Updated 3 weeks ago
- A Memory-Disaggregated Managed Runtime.☆65Updated 3 years ago
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆37Updated 4 months ago
- The implementation of HawkEye, our research system: "HawkEye: Efficient Fine-grained OS Support for Huge Pages" from ASPLOS 2019.☆18Updated 3 years ago
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆80Updated 2 years ago
- The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…☆15Updated 4 years ago
- ☆22Updated 4 years ago
- the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research☆42Updated 3 years ago
- User-space Page Management☆104Updated 3 months ago
- The world's first wait-free KV store with generic durable linearizable transactions☆38Updated 2 years ago
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21Updated 4 years ago
- Open memory disaggregation☆25Updated 4 years ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆93Updated last week