google / soong_verification
☆12Updated 4 years ago
Related projects: ⓘ
- Coq BPF interpreter☆18Updated 6 years ago
- ☆16Updated 4 months ago
- An experimental patchset management tool.☆11Updated 3 years ago
- ☆18Updated last year
- ☆8Updated 2 years ago
- Google CVE related code☆16Updated last year
- ☆13Updated 5 months ago
- Simple CFG module for ExtendJ☆11Updated 8 years ago
- Sprockets is a framework for conformance testing based on state transitions.☆10Updated 4 years ago
- ☆12Updated 4 years ago
- ☆21Updated 2 years ago
- ☆14Updated this week
- Running BoringSSL tests against OpenSSL☆13Updated 3 years ago
- The source for the Linux kernel used in CBL-Mariner☆34Updated 3 weeks ago
- ☆0Updated 10 months ago
- ☆10Updated last year
- ☆10Updated 9 months ago
- VSCode extension providing syntax highlighting for AIDL, the Android Interface Definition Language.☆14Updated 6 months ago
- Twitch Twirp RPC implementation for Java☆12Updated 3 months ago
- Research unikernel for virtualized services☆48Updated last year
- HCTR2 specification and test vectors☆27Updated 6 months ago
- A design for a Face Shield that is intended for medical use to address short-term medical supply shortages as a result of the COVID-19 pu…☆9Updated 4 years ago
- ☆31Updated this week
- ☆17Updated this week
- This repository contains grammars for parsing Protocol Buffers's .proto files☆25Updated 5 years ago
- BananaPhone is RPC for BananaPack☆14Updated 4 years ago
- Orismologer is a network telemetry translation framework written in Go☆10Updated 5 years ago
- Security middleware to defend against SQL injection in Active Record.☆16Updated 6 months ago
- ☆21Updated last year
- Securing platform software☆15Updated last year