Alternatives and similar repositories for koala

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

• andromeda / mir
  Module-level RWX permissions for Node.js
  ☆37Updated last year
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆274Updated this week
• EngineeringSoftware / gobash
  Bash function library
  ☆23Updated last year
• andromeda / lya
  A Coarse-grained Dynamic Analysis Framework
  ☆23Updated 2 weeks ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆199Updated 2 weeks ago
• Lingzhi-Ouyang / Remix
  ☆13Updated 8 months ago
• ModelInference / texada
  Efficient techniques for mining LTL formulae over linear input traces
  ☆18Updated 2 years ago
• cuhk-s3 / Creal
  ☆36Updated 4 months ago
• microsoft / verus-proof-synthesis
  ☆55Updated last month
• binpash / dish
  DiSh: Dynamic Shell-Script Distribution
  ☆29Updated 4 months ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆31Updated 2 years ago
• eniac / mucache
  A caching framework for microservice applications
  ☆23Updated last year
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• verus-lang / verus-analyzer
  A Verus compiler front-end for IDEs (derived from rust-analyzer)
  ☆27Updated last month
• goblint / analyzer
  Static analysis framework for C
  ☆226Updated this week
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆45Updated 5 months ago
• dspinellis / latex-advice
  Advice for writing LaTeX documents
  ☆1,256Updated this week
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆318Updated 3 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆178Updated 3 weeks ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆159Updated 3 weeks ago
• nus-test / Deopt
  Datalog Engines OPtimization Tester.
  ☆13Updated last year
• tchajed / protocol-verification-fa2023
  Assignments for COMP SCI 839 from UW-Madison in Fall 2023
  ☆11Updated 2 years ago
• DavisPL / lhs
  Yet another Rust MIR analysis tool
  ☆15Updated 3 months ago
• nus-test / XPress
  Automated testing for XML XPath execution
  ☆17Updated last year
• OrderLab / Anduril
  A feedback-driven fault injection tool for reproducing distributed systems failures
  ☆16Updated 7 months ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆54Updated last year
• scuptio / sedeve-kit
  In Spec We Trust
  ☆42Updated 5 months ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆205Updated last year
• nus-test / clang-tool-template
  A basic repository for a Clang-based tool, with CMake integration.
  ☆10Updated 2 years ago
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago