binpash / dishLinks
DiSh: Dynamic Shell-Script Distribution
☆29Updated 4 months ago
Alternatives and similar repositories for dish
Users that are interested in dish are comparing it to the libraries listed below
Sorting:
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year
- Major CS conference publication stats (including accepted and submitted) by year.☆158Updated last week
- fine-grained, cgroup-based tool for profiling memory usage over time of a process tree☆50Updated last year
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆137Updated this week
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22Updated 3 years ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆107Updated last year
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆66Updated 5 years ago
- User-space Page Management☆111Updated last year
- ☆48Updated 2 years ago
- Generic model checker for concurrent C programs (mirror repository)☆160Updated 2 weeks ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆11Updated 2 years ago
- the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research☆44Updated 4 years ago
- Add AI capabilities to any readline-enabled command-line program☆198Updated 11 months ago
- ☆35Updated 8 months ago
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆25Updated 2 years ago
- ☆236Updated last year
- DAMON user-space tool☆58Updated this week
- ☆64Updated last year
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆273Updated last week
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Updated 4 months ago
- Silm your kernel with better configuration.☆38Updated last year
- Benchmark for Intel Optane SSD, towards an unwritten contract of Intel Optane SSD☆20Updated 6 years ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆91Updated 3 weeks ago
- Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.☆14Updated last year
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆48Updated last year
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆46Updated 10 months ago
- Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22☆35Updated last year
- Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.☆53Updated 5 months ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆64Updated 2 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆18Updated 3 years ago