kbensh / koalaLinks
A benchmark suite for performance-oriented shell-optimization research
☆22Updated this week
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☆35Updated 10 months ago
- language-agnostic program reducer.☆192Updated last month
- Add AI capabilities to any readline-enabled command-line program☆187Updated 7 months ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆62Updated 3 years ago
- Tools and standards for conducting and evaluating research in software engineering☆309Updated this week
- Unit testing for SQL queries☆24Updated 11 months ago
- ☆20Updated last week
- Building Training Datasets for Deep Learning Models in Software Engineering and Empirical Software Engineering Research☆23Updated last year
- Software testing optimization tool☆30Updated last year
- This projects mines maven central and creates a global dependency graph☆32Updated 2 years ago
- EvoMaster Benchmark (EMB): a set of web/enterprise applications for experimentation in automated system testing☆36Updated last week
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆40Updated this week
- junit tools contest infrastructure☆13Updated last year
- GitHub Search: Platform used to crawl, store and present projects from GitHub, as well as any statistics related to them☆164Updated this week
- Wasabi is a toolkit designed to isolate and trigger retry bugs by combining static program analysis, large language models (LLMs), fault …☆9Updated 9 months ago
- No-code framework for API-testing☆9Updated 4 months ago
- Java Mutation Testing Framework Written in Python☆22Updated 9 months ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆264Updated last week
- Pluggable type-checking for Java☆21Updated this week
- An Opinionated Formatter for Verus☆11Updated 2 weeks ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆48Updated 2 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆46Updated 9 months ago
- Open paper reading club @ JetBrains☆38Updated 9 months ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Updated 8 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆72Updated 7 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆232Updated 2 weeks ago
- ☆55Updated 2 months ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆98Updated 8 months ago
- A tool to visualize distributed system logs☆80Updated 3 years ago
- Peasy: An Intuitive Development Environment for P☆14Updated 2 months ago