Alternatives and similar repositories for koala

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

• Lingzhi-Ouyang / Remix
  ☆13Updated 7 months ago
• andromeda / mir
  Module-level RWX permissions for Node.js
  ☆37Updated last year
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆197Updated last week
• binpash / dish
  DiSh: Dynamic Shell-Script Distribution
  ☆29Updated 4 months ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆273Updated this week
• specula-org / Specula
  Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code
  ☆54Updated 2 weeks ago
• apoorvakliv / fed2tier
  Fed2Tier offers a two-tier federated learning approach, optimizing for eco-friendliness and efficiency. It improves model generalizabilit…
  ☆20Updated 2 years ago
• dspinellis / ai-cli-lib
  Add AI capabilities to any readline-enabled command-line program
  ☆198Updated 11 months ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆31Updated last year
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆204Updated last year
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆25Updated last year
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆44Updated 4 months ago
• microsoft / verus-proof-synthesis
  ☆51Updated 3 weeks ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆29Updated 2 months ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆137Updated this week
• csartifacts / resources
  Resources on the Artifact Evaluation (AE) Process
  ☆17Updated 4 years ago
• microsoft / verus-copilot-vscode
  ☆15Updated last week
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆157Updated 2 months ago
• viperproject / mendel-verifier
  Capability-based verifier for safe Rust clients of interior mutability
  ☆13Updated last year
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• stephenfreund / RoadRunner
  ☆75Updated 8 years ago
• TestingResearchIllinois / idoft
  ☆49Updated this week
• ModelInference / texada
  Efficient techniques for mining LTL formulae over linear input traces
  ☆18Updated 2 years ago
• nyu-acsys / raven
  An automated deductive program verifier based on concurrent separation logic
  ☆25Updated this week
• scuptio / sedeve-kit
  In Spec We Trust
  ☆41Updated 5 months ago
• tangruize / tlc-cmd
  Run TLC in cmd
  ☆15Updated last year
• diffblue / cbmc
  C Bounded Model Checker
  ☆986Updated this week
• verus-lang / verus-analyzer
  A Verus compiler front-end for IDEs (derived from rust-analyzer)
  ☆26Updated last week
• tchajed / protocol-verification-fa2023
  Assignments for COMP SCI 839 from UW-Madison in Fall 2023
  ☆11Updated 2 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆160Updated 2 weeks ago