kbensh / koalaLinks
A benchmark suite for performance-oriented shell-optimization research
☆9Updated this week
Alternatives and similar repositories for koala
Users that are interested in koala are comparing it to the libraries listed below
Sorting:
- ☆33Updated 7 months ago
- A Coarse-grained Dynamic Analysis Framework☆21Updated 2 years ago
- A framework for testing compilers' type checkers☆17Updated 6 months ago
- ☆12Updated last month
- Testing Configuration Changes in Context to Prevent Production Failures☆30Updated last year
- Collection of Verification Tasks (MOVED, please follow the link)☆183Updated 3 years ago
- Module-level RWX permissions for Node.js☆35Updated 9 months ago
- Configuration dependency analysis for cloud software☆23Updated 3 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆260Updated last week
- A feedback-driven fault injection tool for reproducing distributed systems failures☆14Updated last month
- A tool for testing SMT solvers for incompleteness bugs☆16Updated 2 years ago
- Translate java jar files into Boogie programs☆12Updated last year
- Dynamic detection of likely invariants☆223Updated this week
- PL/SE conference deadline countdowns☆19Updated 4 years ago
- Datalog Engines OPtimization Tester.☆13Updated last year
- ☆34Updated this week
- Apron Numerical Abstract Domain Library☆125Updated 2 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆70Updated 6 months ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆241Updated 7 months ago
- CrashTuner(SOSP2019)☆30Updated 5 years ago
- A list of fun (and safe) activities for lockdowns☆22Updated 4 years ago
- DiSh: Dynamic Shell-Script Distribution☆27Updated 5 months ago
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆40Updated 3 weeks ago
- ☆30Updated 2 years ago
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆12Updated last year
- Bash function library☆23Updated 9 months ago
- Loop invariant generation with LLMs☆23Updated 3 months ago
- ☆12Updated 2 years ago
- ☆52Updated 2 years ago