gravitational / rbac-linter
☆26Updated 5 months ago
Related projects: ⓘ
- TLA+ specification of the Ceph consensus algorithm☆20Updated 2 years ago
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆22Updated 5 years ago
- ☆15Updated 3 years ago
- ☆12Updated 3 years ago
- Modeling DNS with Alloy☆37Updated 2 years ago
- Diffs for structured data☆15Updated 5 years ago
- ☆12Updated 3 months ago
- Simple usage of ebpf (bpftrace) for tracing bluetooth events and unlocking ubuntu☆22Updated 4 years ago
- A lightweight metrics explorer for Prometheus, with a focus on on-the-fly analysis.☆27Updated 2 years ago
- Prototype implementation of Service-Level Fault Injection Testing in Python.☆67Updated last year
- A data access control framework for Open Policy Agent☆37Updated 3 months ago
- This tool allows using a SPIFFE JWT to authenticate to AWS APIs☆34Updated 3 months ago
- TLA+ modules, specifications, and models for Radix trees.☆33Updated 3 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 3 years ago
- Firecracker IN Docker - MicroVM inside containers☆32Updated 3 years ago
- Parses and executes Runway models of distributed systems☆50Updated 2 years ago
- Packaging pipeline for Envoy☆15Updated 3 years ago
- A simple attribution engine.☆30Updated last year
- Intercept gRPC traffic of dockerd and containerd with eBPF☆12Updated last year
- Automatically configure Wireguard interfaces in distributed system. It supports Consul as backend.☆12Updated 4 years ago
- Definitional implementation of Cedar language and utilities for DRT☆80Updated this week
- Jepsen tests for local filesystems, running on a single node.☆13Updated 2 years ago
- Kubernetes security scanner based on the open-source container vulnerability scanner Trivy.☆23Updated 3 years ago
- A workspace for creating Benthos configs using CUE.☆10Updated last year
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆22Updated 3 weeks ago
- Darkbit Cloud Security Tools☆25Updated 3 years ago
- vault-auth-spire is an authentication plugin for Hashicorp Vault which allows logging into Vault using a Spire provided SVID.☆41Updated last year
- Cacheroach is a multi-tenant, multi-region, multi-cloud file store built using CockroachDB.☆24Updated 3 years ago
- Installable Kubernetes delivered in containers☆51Updated last year
- My collection of various Jupyter notebooks and useful command line scripts for analyzing performance of services and code.☆11Updated 11 months ago