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:
- Module-level RWX permissions for Node.js☆35Updated 11 months ago
- A Coarse-grained Dynamic Analysis Framework☆22Updated 2 years ago
- DiSh: Dynamic Shell-Script Distribution☆28Updated 3 weeks ago
- language-agnostic program reducer.☆191Updated 2 months ago
- ☆33Updated 9 months ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆269Updated last month
- ☆43Updated last week
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆16Updated 6 months ago
- Testing Configuration Changes in Context to Prevent Production Failures☆31Updated last year
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆62Updated 2 weeks ago
- ☆12Updated 4 months ago
- A framework for testing compilers' type checkers☆17Updated 8 months ago
- ☆19Updated last week
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆416Updated 8 months ago
- Bash function library☆23Updated 11 months ago
- A Simple Abstract Interpreter, built for teaching purposes☆20Updated 5 years ago
- Add AI capabilities to any readline-enabled command-line program☆189Updated 7 months ago
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆12Updated last year
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆127Updated this week
- Program synthesis class taught by Loris D'Antoni☆29Updated 8 months ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- The ISLa (Input Specification Language) language & solver.☆68Updated last year
- Runtime verification system for Java, using AspectJ for instrumentation.☆48Updated 2 years ago
- An automatic recursive function transformer.☆10Updated 2 years ago
- An Opinionated Formatter for Verus☆11Updated last week
- ☆26Updated 2 weeks ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆17Updated 2 years ago
- Apron Numerical Abstract Domain Library☆132Updated 4 months ago
- Yet another Rust MIR analysis tool☆13Updated 2 weeks ago
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆56Updated 5 months ago