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 / jsir
  An MLIR-based JavaScript intermediate representation
  ☆24Updated last month
• google / intellij-gn-plugin
  ☆14Updated 11 months ago
• google / netkat
  Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
  ☆19Updated this week
• google / safe-active-record
  Security middleware to defend against SQL injection in Active Record.
  ☆17Updated last year
• google / codeu_coding_assessment_2017
  This project allows students to demonstrate their coding skills before entering CodeU. Students will complete this JSON-lite object and J…
  ☆10Updated 7 years ago
• google / polymorphicDSL
  ☆11Updated this week
• google / fuchsiaware
  ☆18Updated last year
• github / flit
  Twitch Twirp RPC implementation for Java
  ☆14Updated 9 months ago
• JohnRaivenOlazo / JohnRaivenOlazo
  Config files for my GitHub profile.
  ☆7Updated this week
• google / pdl-language
  Syntax highlighting for Packet Description Language, as used for various Android networking components.
  ☆23Updated 3 weeks 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 2 years ago
• google / smbios-validation-tool
  ☆11Updated 3 months ago
• google / kilt
  An experimental patchset management tool.
  ☆12Updated 4 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 / quark
  ☆11Updated 6 years ago
• google / codewords
  ☆11Updated 8 months ago
• google / self-published-geo
  ☆14Updated 4 years ago
• google / cvelist
  Google CVE related code
  ☆15Updated last year
• google / open-dice
  ☆16Updated this week
• google / dcm-bulk-trafficking
  ☆11Updated 6 years ago
• schacon / testtest
  ☆2Updated 7 months ago
• google / byterun
  A Python implementation of a Python bytecode runner
  ☆16Updated 5 years ago
• google / github_workflows_playground
  ☆8Updated 2 years ago
• google / kir-holiday-lights
  ☆19Updated 2 months ago
• google / aidl-language
  VSCode extension providing syntax highlighting for AIDL, the Android Interface Definition Language.
  ☆17Updated 3 weeks ago
• google / low_volume_skus
  ☆12Updated 9 months ago
• google / xsecurelock-saver-rs
  Rust + SFML Screensavers for XSecureLock
  ☆14Updated 3 years ago