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:
- Modeling DNS with Alloy☆37Updated 3 years ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆34Updated 6 months ago
- Multihost eBPF Map Sync Setup☆10Updated 5 months ago
- ☆15Updated 3 years ago
- ☆12Updated 4 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Peasy: An Intuitive Development Environment for P☆14Updated 3 weeks ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- Diffs for structured data☆16Updated 6 years ago
- A Jenkins plugin to track steps and create in-toto link metadata☆11Updated 11 months ago
- ☆15Updated 4 years ago
- Prototype implementation of Service-Level Fault Injection Testing in Python.☆70Updated 2 years ago
- Making transparency normal!☆24Updated last year
- ☆14Updated 6 years ago
- Definitional implementation of Cedar language and utilities for DRT☆111Updated this week
- Hallow is a SSH Certificate Authority designed for use with AWS native environments☆65Updated 11 months ago
- TACOS framework structural details☆20Updated 3 weeks ago
- Tools for conformance monitoring on Kubernetes with TLA+☆23Updated 11 months ago
- Firecracker IN Docker - MicroVM inside containers☆31Updated 4 years ago
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆22Updated 6 years ago
- ☆24Updated last year
- TLA+ specification of Flexible Paxos☆40Updated last year
- efficient linux security monitoring☆26Updated 6 years ago
- atomfs is a pseudo filesystem for managing container layers☆10Updated last year
- Packer + Terraform setup to experiment with FDB clusters in the cloud.☆26Updated 5 years ago
- Kafka connector to sync Zed lakes to and from Kafka topics☆18Updated 11 months ago
- Building Truly Portable eBPF Programs☆18Updated last month
- Detect compiler names and versions from ELF files☆27Updated 3 weeks ago
- A self-contained firewall checker☆106Updated 3 years ago
- A data access control framework for Open Policy Agent☆37Updated 11 months ago