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 / openssl-tests
  Running BoringSSL tests against OpenSSL
  ☆14Updated 3 years ago
• google / netkat
  Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
  ☆16Updated this week
• JohnRaivenOlazo / JohnRaivenOlazo
  Config files for my GitHub profile.
  ☆7Updated this week
• google / smbios-validation-tool
  ☆11Updated 3 weeks ago
• schacon / testtest
  ☆2Updated 5 months ago
• google / hctr2
  HCTR2 specification and test vectors
  ☆29Updated 9 months ago
• github / libbuffer
  This library holds utility functions for working with string buffers in C.
  ☆9Updated last year
• google / fuchsiaware
  ☆18Updated last year
• github / serialized_attributes
  UNMAINTAINED - kind of a bridge between using AR and a full blown schema-free db
  ☆10Updated 7 years ago
• google / intellij-gn-plugin
  ☆14Updated 8 months ago
• github / codeql-ctf-go-return
  Extension project for the Go and Don't Return CodeQL CTF
  ☆7Updated 2 years ago
• llvm-mirror / lnt
  Mirror of official llvm git repository located at http://llvm.org/git/lnt. Updated every five minutes.
  ☆12Updated 4 years ago
• google / gfbuild-SPIRV-Tools
  A set of scripts for building SPIRV-Tools for the GraphicsFuzz project
  ☆11Updated 2 years ago
• github / puppet-vault
  puppet-module to install Hashicorp's Vault.
  ☆9Updated 8 years ago
• google / cvelist
  Google CVE related code
  ☆15Updated last year
• google / fleetspeak-rs
  A Fleetspeak connector library for the Rust programming language.
  ☆8Updated 2 months ago
• google / byterun
  A Python implementation of a Python bytecode runner
  ☆16Updated 5 years ago
• google / connectedappssdk
  ☆9Updated 2 years ago
• google / github_workflows_playground
  ☆8Updated 2 years ago
• google / sprockets
  Sprockets is a framework for conformance testing based on state transitions.
  ☆11Updated 4 years ago
• google / inject-common
  Utilities for implementers and consumers of the javax.inject APIs.
  ☆11Updated 3 months ago
• google / waze-ccp-gcp
  This AppEngine sample application is designed to process your Waze CCP JSON Feed into; BigQuery GIS tables for analysis, Google Cloud Sto…
  ☆11Updated last year
• google / github_actions_playground
  ☆8Updated 2 years ago
• github / flit
  Twitch Twirp RPC implementation for Java
  ☆14Updated 6 months ago
• google / brotli-wheels
  Brotli wheels
  ☆10Updated 3 months ago
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆22Updated last month
• google / go-cabfile
  ☆9Updated 2 years ago