Alternatives and similar repositories for rbac-linter:

Users that are interested in rbac-linter are comparing it to the libraries listed below

• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 5 years ago
• afonsonf / ceph-consensus-spec
  TLA+ specification of the Ceph consensus algorithm
  ☆22Updated 2 years ago
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆34Updated 3 months ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• brendangregg / FlameScope
  coming soon
  ☆13Updated 2 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 3 years ago
• chainguard-dev / self-attestation
  Markdown Version of the DHS/CISA Secure Software Development Self Attestation Form.
  ☆21Updated last year
• sigstore / protobuf-specs
  Protocol Buffer specifications
  ☆27Updated this week
• omnibor / spec
  A draft standard for communicating a cryptographic record of build inputs for software artifacts.
  ☆23Updated last week
• tlaplus / PlusCalCheatSheet
  PlusCal Cheat Sheet by Stephan Merz
  ☆20Updated 4 months ago
• zmaril / bpfquery
  Zack's experimental tool for querying BPF with SQL.
  ☆38Updated 5 months ago
• Cjen1 / consensus-tlaplus
  ☆11Updated 4 months ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated 3 months ago
• tacosframework / TACOS-spec
  TACOS framework structural details
  ☆20Updated last year
• onosproject / tlaplus-monitor
  Tools for conformance monitoring on Kubernetes with TLA+
  ☆21Updated 7 months ago
• Hritik14 / purl.fyi
  ☆12Updated last year
• secure-systems-lab / dsse
  A specification for signing methods and formats used by Secure Systems Lab projects.
  ☆72Updated 5 months ago
• kallsyms / go-graph
  Searching Go code with a graph database
  ☆25Updated 2 years ago
• FoundationDB / fdb-joshua
  FoundationDB Correctness service
  ☆29Updated last month
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• disintegrator / benthos-cue
  A workspace for creating Benthos configs using CUE.
  ☆10Updated last year
• cedar-policy / cedar-spec
  Definitional implementation of Cedar language and utilities for DRT
  ☆100Updated this week
• ecordell / cuezel
  ☆12Updated 3 years ago
• danderson / natprobe
  NAT probing toolkit.
  ☆22Updated 5 years ago
• stanford-futuredata / msketch
  Moments Sketch Code
  ☆40Updated 6 years ago
• darkbitio / tools
  Darkbit Cloud Security Tools
  ☆25Updated 4 years ago
• spreadshirt / prometheus-explorer
  A lightweight metrics explorer for Prometheus, with a focus on on-the-fly analysis.
  ☆27Updated 2 years ago