google / soong_verification
☆13Updated 4 years ago
Alternatives and similar repositories for soong_verification:
Users that are interested in soong_verification are comparing it to the libraries listed below
- Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks☆19Updated last week
- Config files for my GitHub profile.☆7Updated this week
- ☆11Updated 6 years ago
- ☆9Updated 2 years ago
- An MLIR-based JavaScript intermediate representation☆24Updated last month
- ☆2Updated 7 months ago
- ☆11Updated 3 weeks ago
- Coq BPF interpreter☆19Updated 7 years ago
- A set of scripts for building SPIRV-Tools for the GraphicsFuzz project☆11Updated 2 years ago
- ☆14Updated 10 months ago
- ☆11Updated 2 months ago
- ☆11Updated 6 years ago
- Twitch Twirp RPC implementation for Java☆14Updated 8 months ago
- An experimental patchset management tool.☆12Updated 4 years ago
- This project allows students to demonstrate their coding skills by implementing a component of a larger system.☆9Updated 7 years ago
- ☆12Updated 7 years ago
- ☆10Updated 3 years ago
- Sprockets is a framework for conformance testing based on state transitions.☆11Updated 5 years ago
- ☆24Updated last month
- The Python Proto Converter converts between protos in Python. Proto conversion is often needed when converting between Database Access Ob…☆14Updated 3 years ago
- VSCode extension providing syntax highlighting for AIDL, the Android Interface Definition Language.☆17Updated 2 weeks ago
- ☆8Updated 2 years ago
- Orismologer is a network telemetry translation framework written in Go☆11Updated 6 years ago
- ☆18Updated last year
- ☆9Updated 2 years ago
- Google CVE related code☆15Updated last year
- ☆19Updated 2 months ago
- ☆8Updated 2 years ago
- ☆12Updated 9 months ago