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 / netkat
  Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
  ☆20Updated this week
• google / intellij-gn-plugin
  ☆15Updated last year
• google / fuchsiaware
  ☆18Updated last year
• JohnRaivenOlazo / JohnRaivenOlazo
  Config files for my GitHub profile.
  ☆8Updated this week
• google / smbios-validation-tool
  ☆12Updated 4 months ago
• schacon / testtest
  ☆2Updated 9 months ago
• github / flit
  Twitch Twirp RPC implementation for Java
  ☆14Updated 10 months ago
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆31Updated 3 weeks ago
• google / openssl-tests
  Running BoringSSL tests against OpenSSL
  ☆14Updated 3 years ago
• google / kilt
  An experimental patchset management tool.
  ☆12Updated 4 years ago
• google / pycnite
  A collection of utilities for working with compiled Python bytecode.
  ☆15Updated 9 months ago
• google / github_workflows_playground
  ☆8Updated 3 years ago
• google / radium
  ☆9Updated 3 years ago
• google / github_actions_playground
  ☆8Updated 3 years ago
• google / dcm-bulk-trafficking
  ☆11Updated 6 years ago
• google / orismologer
  Orismologer is a network telemetry translation framework written in Go
  ☆11Updated 6 years ago
• google / codeu_coding_assessment_b_2017
  This project allows students to demonstrate their coding skills by implementing a component of a larger system.
  ☆9Updated 7 years ago
• google / secret-manager-with-sendgrid
  ☆10Updated 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 3 years ago
• google / exposure-notifications-private-analytics-ingestion
  This repository contains implementation to process private data shares collected according to the Exposure Notification Private Analytics…
  ☆10Updated 7 months ago
• sahmad98 / ebpf-tools
  eBPF Tools - Tool for monitoring, performance benchmarking and tracing linux kernel
  ☆16Updated 4 years ago
• google / simplecfg
  Simple CFG module for ExtendJ
  ☆11Updated 8 years ago
• googleapis / storage-testbench
  A testbench for Google Cloud Storage client libraries.
  ☆13Updated 2 weeks ago
• google / dev-on-chromeos-openvpn
  ☆12Updated 7 years ago
• google / private-compute-libraries
  Contains libraries for use in making provably-private applications.
  ☆32Updated 3 weeks ago
• wasm-lsp / vscode-wasm
  Visual Studio Code client for the WebAssembly language server
  ☆16Updated 2 years ago
• google / inject-common
  Utilities for implementers and consumers of the javax.inject APIs.
  ☆11Updated 2 weeks ago
• google / quark
  ☆10Updated 6 years ago