Alternatives and similar repositories for koala

Users that are interested in koala are comparing it to the libraries listed below

• binpash / dish
  DiSh: Dynamic Shell-Script Distribution
  ☆29Updated 2 months ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆270Updated this week
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆195Updated 4 months ago
• dspinellis / ai-cli-lib
  Add AI capabilities to any readline-enabled command-line program
  ☆194Updated 10 months ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆31Updated last year
• Lingzhi-Ouyang / Remix
  ☆12Updated 6 months ago
• andromeda / lya
  A Coarse-grained Dynamic Analysis Framework
  ☆23Updated 3 years ago
• andromeda / mir
  Module-level RWX permissions for Node.js
  ☆37Updated last year
• EngineeringSoftware / gobash
  Bash function library
  ☆23Updated last year
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆315Updated last month
• TestingResearchIllinois / idoft
  ☆42Updated last week
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆90Updated last year
• nus-test / clang-tool-template
  A basic repository for a Clang-based tool, with CMake integration.
  ☆10Updated 2 years ago
• squaresLab / genprog4java
  ☆18Updated last year
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated last year
• woc-hack / tutorial
  ☆56Updated 5 months ago
• amannougrahiya / imop-compiler
  IIT Madras OpenMP (IMOP) compiler framework is an open-source, source-to-source, OpenMP-aware compiler for OpenMP (and serial) C programs…
  ☆25Updated last year
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆41Updated 3 months ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆22Updated 3 years ago
• yixin-09 / AutoRNP
  AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries
  ☆11Updated 6 years ago
• OrderLab / Legolas
  Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems
  ☆12Updated last year
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆133Updated this week
• cuhk-s3 / Creal
  ☆34Updated 2 months ago
• specula-org / Specula
  Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code
  ☆28Updated this week
• tdurieux / EnergiBridge
  ☆29Updated last year
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆151Updated last month
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆49Updated 2 years ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆64Updated 3 years ago
• verus-lang / verusfmt
  An Opinionated Formatter for Verus
  ☆12Updated 2 weeks ago
• ModelInference / texada
  Efficient techniques for mining LTL formulae over linear input traces
  ☆18Updated 2 years ago