binpash / dishLinks
DiSh: Dynamic Shell-Script Distribution
☆29Updated 3 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.☆135Updated 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 3 months ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year
- Generic model checker for concurrent C programs (mirror repository)☆160Updated last week
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆11Updated last year
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆273Updated last week
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆107Updated last year
- Major CS conference publication stats (including accepted and submitted) by year.☆156Updated 2 months ago
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆24Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆39Updated 2 years ago
- simple snapshot-style integration testing for commands☆72Updated 5 months ago
- 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 9 months ago
- A program synthesis framework for verified lifting applications☆57Updated 5 months ago
- Online demo without installing at - https://buildit.so/tryit☆184Updated last week
- ☆48Updated 2 years ago
- A verification tool for many memory models☆103Updated last week
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11Updated 2 years ago
- ☆33Updated 3 years ago
- 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
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Updated 6 years ago
- Main repository of the Vigor NF verification project.☆48Updated 4 years ago
- A translation validation framework for MLIR☆89Updated 7 months ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆41Updated last year
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆22Updated 6 months ago
- Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.☆53Updated 4 months ago
- fine-grained, cgroup-based tool for profiling memory usage over time of a process tree☆49Updated last year
- ☆46Updated 3 years ago
- VeriBetrKV OSDI'20 artifact☆12Updated 5 years ago
- Linearizability Visualizer☆10Updated 10 years ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22Updated 3 years ago