Alternatives and similar repositories for soong_verification

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

• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago
• google / intellij-gn-plugin
  ☆15Updated last year
• google / netkat
  Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
  ☆21Updated last week
• google / openssl-tests
  Running BoringSSL tests against OpenSSL
  ☆14Updated 4 years ago
• schacon / testtest
  ☆2Updated 10 months ago
• google / safe-active-record
  Security middleware to defend against SQL injection in Active Record.
  ☆17Updated last year
• google / smbios-validation-tool
  ☆12Updated 6 months ago
• google / fuchsiaware
  ☆18Updated 2 years ago
• google / kilt
  An experimental patchset management tool.
  ☆12Updated 4 years ago
• JohnRaivenOlazo / JohnRaivenOlazo
  Config files for my GitHub profile.
  ☆7Updated this week
• google / orthotope
  ☆10Updated 3 years ago
• google / github_actions_playground
  ☆8Updated 3 years ago
• google / go-cabfile
  ☆9Updated 2 years ago
• google / github_workflows_playground
  ☆8Updated 3 years ago
• google / inject-common
  Utilities for implementers and consumers of the javax.inject APIs.
  ☆11Updated last month
• google / pdl-language
  Syntax highlighting for Packet Description Language, as used for various Android networking components.
  ☆25Updated 4 months ago
• google / sprockets
  Sprockets is a framework for conformance testing based on state transitions.
  ☆11Updated 5 years ago
• google / vbootrom
  ☆13Updated last month
• google / gce-rescue
  GCE Rescue is a command-line tool to boot Google Cloud Platform VMs in Rescue Mode.
  ☆14Updated last year
• google / btls
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆15Updated 6 years ago
• github / depstubber
  Depstubber generates type-correct stubs for Go dependencies, for use in testing
  ☆16Updated 3 months ago
• google / pycnite
  A collection of utilities for working with compiled Python bytecode.
  ☆15Updated 10 months ago
• AkihiroSuda / myaot
  Succeeded by https://github.com/yomaytk/elfconv
  ☆35Updated last year
• github / flit
  Twitch Twirp RPC implementation for Java
  ☆14Updated last year
• google / quark
  ☆10Updated 6 years ago
• github / GHKeyBrowser
  GitHub Key Verification Helper
  ☆13Updated 10 years ago
• google / dcm-bulk-trafficking
  ☆11Updated 6 years ago
• schacon / git-glance
  Simple Git/Hub changelog generator, sprinkled with AI
  ☆11Updated 9 months ago
• googleapis / storage-testbench
  A testbench for Google Cloud Storage client libraries.
  ☆13Updated last week
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 4 months ago