google / soong_verificationLinks
☆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
Sorting:
- Running BoringSSL tests against OpenSSL☆14Updated 4 years ago
- Config files for my GitHub profile.☆7Updated this week
- ☆2Updated 9 months ago
- ☆12Updated 5 months ago
- Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks☆21Updated last week
- Utilities for implementers and consumers of the javax.inject APIs.☆11Updated last month
- ☆13Updated last month
- Sprockets is a framework for conformance testing based on state transitions.☆11Updated 5 years ago
- ☆16Updated last week
- ☆18Updated last month
- An MLIR-based JavaScript intermediate representation☆31Updated last month
- ☆11Updated 6 years ago
- A set of scripts for building SPIRV-Tools for the GraphicsFuzz project☆11Updated 3 years ago
- ☆8Updated 3 years ago
- ☆11Updated 10 months ago
- A Python implementation of a Python bytecode runner☆16Updated 5 years ago
- A collection of utilities for working with compiled Python bytecode.☆15Updated 10 months ago
- Twitch Twirp RPC implementation for Java☆14Updated 11 months ago
- ☆14Updated 4 years ago
- Contains libraries for use in making provably-private applications.☆32Updated 2 weeks ago
- ☆10Updated 3 years ago
- ☆9Updated 3 years ago
- Security middleware to defend against SQL injection in Active Record.☆17Updated last year
- This project allows students to demonstrate their coding skills by implementing a component of a larger system.☆9Updated 7 years ago
- Parsec documentation☆13Updated last year
- Embed the Power of Lua into NGINX HTTP servers☆11Updated 9 years ago
- ☆18Updated last year
- ☆15Updated last year
- ☆10Updated 4 months ago
- ☆19Updated 4 months ago