kbensh / koalaLinks
A benchmark suite for performance-oriented shell-optimization research
☆29Updated 2 months ago
Alternatives and similar repositories for koala
Users that are interested in koala are comparing it to the libraries listed below
Sorting:
- Module-level RWX permissions for Node.js☆37Updated last year
- language-agnostic program reducer.☆200Updated last month
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆277Updated this week
- A Coarse-grained Dynamic Analysis Framework☆23Updated last week
- DiSh: Dynamic Shell-Script Distribution☆31Updated 6 months ago
- ☆36Updated 5 months ago
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆45Updated 6 months ago
- Tools and standards for conducting and evaluating research in software engineering☆320Updated last week
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆28Updated 2 weeks ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆71Updated this week
- ☆13Updated 9 months ago
- Add AI capabilities to any readline-enabled command-line program☆203Updated last year
- Datalog Engines OPtimization Tester.☆13Updated 2 years ago
- Testing Configuration Changes in Context to Prevent Production Failures☆32Updated 2 years ago
- ☆23Updated 4 months ago
- A framework for testing compilers' type checkers☆19Updated last year
- Dynamic detection of likely invariants☆244Updated last week
- A tool for testing SMT solvers for incompleteness bugs☆17Updated 3 years ago
- Bash function library☆22Updated last year
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆145Updated this week
- Generic model checker for concurrent C programs (mirror repository)☆188Updated 2 months ago
- Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code☆84Updated this week
- Automated Testing Tool for Graph-processing Systems.☆12Updated 6 months ago
- ☆74Updated last week
- Efficient techniques for mining LTL formulae over linear input traces☆18Updated 2 years ago
- List of bugs found in distributed protocols☆205Updated last year
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆64Updated 4 years ago
- PC-miner tool for program chairs☆29Updated last month
- Online demo without installing at - https://buildit.so/tryit☆186Updated last month
- microsat☆141Updated 3 years ago