binpash / dishLinks
DiSh: Dynamic Shell-Script Distribution
☆27Updated 5 months ago
Alternatives and similar repositories for dish
Users that are interested in dish are comparing it to the libraries listed below
Sorting:
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆43Updated 4 months ago
- A shell AST library in Python☆10Updated 4 months ago
- Data-Aware Shell☆39Updated 2 years ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆117Updated this week
- Always-Correct and Fast Incremental Builds from Simple Specifications☆89Updated 11 months ago
- ☆17Updated last year
- fine-grained, cgroup-based tool for profiling memory usage over time of a process tree☆47Updated 11 months ago
- Peasy: An Intuitive Development Environment for P☆14Updated 3 weeks ago
- ☆30Updated 2 months ago
- Module-level RWX permissions for Node.js☆35Updated 9 months ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆107Updated 10 months ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆38Updated 7 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
- The SQL Standards Project aims to create consensus in SQL semantics☆45Updated 7 months ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆118Updated 2 years ago
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Updated 11 months ago
- VeriBetrKV OSDI'20 artifact☆10Updated 4 years ago
- Goose converts a subset of Go to Rocq☆120Updated last week
- simple snapshot-style integration testing for commands☆71Updated last week
- An Opinionated Formatter for Verus☆11Updated this week
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆23Updated last year
- A caching framework for microservice applications☆20Updated last year
- Major CS conference publication stats (including accepted and submitted) by year.☆127Updated this week
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 5 months ago
- BUSE: Block device in user space☆15Updated 3 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Silm your kernel with better configuration.☆36Updated last year
- Unit testing for SQL queries☆24Updated 9 months ago
- rules for writing and typesetting☆24Updated 3 years ago
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆17Updated last year