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
• JohnRaivenOlazo / JohnRaivenOlazo
  Config files for my GitHub profile.
  ☆8Updated this week
• schacon / testtest
  ☆2Updated 8 months ago
• google / polymorphicDSL
  ☆11Updated last week
• google / intellij-gn-plugin
  ☆14Updated 11 months ago
• google / openssl-tests
  Running BoringSSL tests against OpenSSL
  ☆14Updated 3 years ago
• google / sprockets
  Sprockets is a framework for conformance testing based on state transitions.
  ☆11Updated 5 years ago
• google / gfbuild-SPIRV-Tools
  A set of scripts for building SPIRV-Tools for the GraphicsFuzz project
  ☆11Updated 2 years ago
• google / github_actions_playground
  ☆8Updated 3 years ago
• google / vbootrom
  ☆13Updated last month
• google / smbios-validation-tool
  ☆11Updated 3 months ago
• google / private-compute-libraries
  Contains libraries for use in making provably-private applications.
  ☆32Updated 3 weeks ago
• github / lua-nginx-module
  Embed the Power of Lua into NGINX HTTP servers
  ☆12Updated 9 years ago
• github / puppet-vault
  puppet-module to install Hashicorp's Vault.
  ☆8Updated 8 years ago
• google / github_workflows_playground
  ☆8Updated 3 years ago
• google / safe-active-record
  Security middleware to defend against SQL injection in Active Record.
  ☆17Updated last year
• google / dev-on-chromeos-openvpn
  ☆12Updated 7 years ago
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆30Updated 2 months ago
• google / radium
  ☆9Updated 2 years ago
• google / pdl-language
  Syntax highlighting for Packet Description Language, as used for various Android networking components.
  ☆24Updated last month
• google / byterun
  A Python implementation of a Python bytecode runner
  ☆16Updated 5 years ago
• wasm-lsp / vscode-wasm
  Visual Studio Code client for the WebAssembly language server
  ☆16Updated 2 years ago
• google / pymql
  The Metaweb Query Language
  ☆21Updated 4 years ago
• google / assortment-quality-for-shopping-ads
  Assortment Quality is an open-source solution that gives you an overview of the product and brand coverage of your Google Merchant center…
  ☆9Updated 10 months ago
• github / Dynamic-Template-Engine
  A typescript library to transform event payloads (in json format) to standard jsons or chat client platform specific jsons (e.g. Slack an…
  ☆21Updated 3 weeks ago
• google / kir-holiday-lights
  ☆19Updated 2 months ago
• google / image_mix
  ☆16Updated 3 weeks ago
• google / dcm-bulk-trafficking
  ☆11Updated 6 years ago
• crtsh / go-certlint
  Go wrapper for awslabs/certlint
  ☆25Updated 5 years ago
• google / go-cabfile
  ☆9Updated 2 years ago