kbensh / koalaLinks
A benchmark suite for performance-oriented shell-optimization research
☆23Updated last week
Alternatives and similar repositories for koala
Users that are interested in koala are comparing it to the libraries listed below
Sorting:
- DiSh: Dynamic Shell-Script Distribution☆29Updated 2 months ago
- Module-level RWX permissions for Node.js☆36Updated last year
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆269Updated last week
- Add AI capabilities to any readline-enabled command-line program☆191Updated 9 months ago
- Major CS conference publication stats (including accepted and submitted) by year.☆135Updated 3 weeks ago
- language-agnostic program reducer.☆195Updated 3 months ago
- ☆12Updated 5 months ago
- Roblox-Oxygen is a cutting-edge plugin designed to enhance the graphical performance and experience of Roblox games. It offers advanced r…☆17Updated last year
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆40Updated 2 months ago
- Datasets and code for the CRUST-bench paper.☆28Updated this week
- Push-Button End-to-End Testing of Kubernetes Operators and Controllers☆127Updated last month
- 💻 As a Frontend Development Intern at Shen AI (Aug – Oct 2024), I built the company website using React.js and worked with the design te…☆15Updated 4 months ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆21Updated 3 years ago
- A caching framework for microservice applications☆21Updated last year
- Testing Configuration Changes in Context to Prevent Production Failures☆31Updated last year
- ☆34Updated last month
- DPLL(T)-based Verification tool for DNNs☆19Updated this week
- A framework for testing compilers' type checkers☆18Updated 10 months ago
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆12Updated last year
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆63Updated 3 years ago
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆24Updated last year
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆132Updated this week
- A Minimum Working Example of the Dissertation Template for UW-Madison.☆11Updated last year
- Always-Correct and Fast Incremental Builds from Simple Specifications☆90Updated last year
- A Simple Abstract Interpreter, built for teaching purposes☆19Updated 5 years ago
- ☆25Updated 2 weeks ago
- Search, check, and autofix your BibTex files!☆26Updated last month
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆58Updated 6 months ago
- The glucose SAT solver☆123Updated 3 months ago
- Bash function library☆23Updated last year