gravitational / rbac-linterLinks
☆29Updated last year
Alternatives and similar repositories for rbac-linter
Users that are interested in rbac-linter are comparing it to the libraries listed below
Sorting:
- ☆15Updated 3 years ago
- Modeling DNS with Alloy☆37Updated 3 years ago
- Markdown Version of the DHS/CISA Secure Software Development Self Attestation Form.☆21Updated 2 years ago
- A draft standard for communicating a cryptographic record of build inputs for software artifacts.☆26Updated 2 months ago
- coming soon☆13Updated 3 years ago
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆22Updated 6 years ago
- Kafka connector to sync Zed lakes to and from Kafka topics☆18Updated last year
- efficient linux security monitoring☆26Updated 6 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆28Updated 3 months ago
- A fair-share ratelimiter implemented as a BPF socket filter☆13Updated 2 years ago
- CrashDB is an ephemeral in-memory NoSQL database for the confident developer.☆22Updated 6 years ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆35Updated 7 months ago
- Supply Chain Query Tool☆13Updated 3 years ago
- ☆24Updated last year
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- A workspace for creating Benthos configs using CUE.☆10Updated last year
- ☆12Updated 2 years ago
- ☆12Updated 4 years ago
- A simple (experimental) tool for generating Kubernetes manifest from templates based on CUE☆25Updated 2 years ago
- Github Actions wrapper for vmtest☆11Updated 5 months ago
- TACOS framework structural details☆20Updated last month
- ☆18Updated last year
- Multihost eBPF Map Sync Setup☆10Updated 6 months ago
- Peasy: An Intuitive Development Environment for P☆14Updated last month
- TLA+ modules, specifications, and models for Radix trees.☆33Updated 3 years ago
- krew-wasm offers a way to write and distribute kubectl plugins based on WebAssembly☆14Updated last year
- Definitional implementation of Cedar language and utilities for DRT☆115Updated this week
- Sigstore's Protocol Buffer specifications☆33Updated this week
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- A specification for signing methods and formats used by Secure Systems Lab projects.☆79Updated 9 months ago