gravitational / rbac-linterLinks
☆30Updated 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:
- Prototype implementation of Service-Level Fault Injection Testing in Python.☆70Updated 2 years ago
- TLA+ specification of the Ceph consensus algorithm☆23Updated 3 years ago
- A workspace for creating Benthos configs using CUE.☆10Updated 2 years ago
- Diffs for structured data☆16Updated 6 years ago
- CrashDB is an ephemeral in-memory NoSQL database for the confident developer.☆22Updated 6 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆28Updated 2 weeks ago
- A self-contained firewall checker☆106Updated 3 years ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆35Updated 2 weeks ago
- BPF based FIM solution☆42Updated 2 years ago
- Xipher is a curated collection of cryptographic primitives put together to perform key/password based asymmetric encryption☆11Updated 3 weeks ago
- Kafka connector to sync Zed lakes to and from Kafka topics☆18Updated last year
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- ☆13Updated last year
- Cacheroach is a multi-tenant, multi-region, multi-cloud file store built using CockroachDB.☆26Updated 4 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- ☆15Updated 3 years ago
- A lightweight metrics explorer for Prometheus, with a focus on on-the-fly analysis.☆27Updated 2 years ago
- Definitional implementation of Cedar language and utilities for DRT☆119Updated this week
- A fair-share ratelimiter implemented as a BPF socket filter☆13Updated 2 years ago
- Github Actions wrapper for vmtest☆11Updated 6 months ago
- Multihost eBPF Map Sync Setup☆10Updated 7 months ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated 2 years ago
- semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.☆14Updated 8 months ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- ☆12Updated 4 years ago
- Detect compiler names and versions from ELF files☆27Updated 2 months ago
- Searching Go code with a graph database☆26Updated 3 years ago
- A basic log-structured flash datastore☆20Updated 2 years ago
- A Jenkins plugin to track steps and create in-toto link metadata☆11Updated last month
- A tool to visualize distributed system logs☆80Updated 3 years ago