Alternatives and similar repositories for rbac-linter

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

• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• dorkamotorka / ebpf-multihost-map-sync
  Multihost eBPF Map Sync Setup
  ☆10Updated 4 months ago
• cue-sh / stax
  ☆15Updated 3 years ago
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆34Updated 6 months ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated 2 months ago
• zmaril / bpfquery
  Zack's experimental tool for querying BPF with SQL.
  ☆39Updated 8 months ago
• dustin-decker / threatseer
  efficient linux security monitoring
  ☆26Updated 6 years ago
• filibuster-testing / filibuster
  Prototype implementation of Service-Level Fault Injection Testing in Python.
  ☆70Updated 2 years ago
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 5 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• lmb / socklimit
  A fair-share ratelimiter implemented as a BPF socket filter
  ☆13Updated 2 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• ecordell / cuezel
  ☆12Updated 4 years ago
• spreadshirt / prometheus-explorer
  A lightweight metrics explorer for Prometheus, with a focus on on-the-fly analysis.
  ☆27Updated 2 years ago
• brimdata / zync
  Kafka connector to sync Zed lakes to and from Kafka topics
  ☆18Updated 11 months ago
• cedar-policy / cedar-spec
  Definitional implementation of Cedar language and utilities for DRT
  ☆110Updated this week
• darkbitio / tools
  Darkbit Cloud Security Tools
  ☆25Updated 4 years ago
• disintegrator / benthos-cue
  A workspace for creating Benthos configs using CUE.
  ☆10Updated last year
• mitchellh / tlaplus-radix-tree
  TLA+ modules, specifications, and models for Radix trees.
  ☆34Updated 3 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• danobi / vmtest-action
  Github Actions wrapper for vmtest
  ☆11Updated 4 months ago
• naftulikay / titan
  The Titan Network Framework: A network layout well-suited to most organizational needs.
  ☆13Updated 3 years ago
• bookingcom / bpfink
  BPF based FIM solution
  ☆42Updated last year
• stwind / dockersnoop
  Intercept gRPC traffic of dockerd and containerd with eBPF
  ☆12Updated last year
• chainguard-dev / crow-registry
  ☆24Updated last year
• afonsonf / ceph-consensus-spec
  TLA+ specification of the Ceph consensus algorithm
  ☆23Updated 2 years ago
• adamgordonbell / compiling-containers
  ☆15Updated 4 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• bitgn / fdb-cloud-test
  Packer + Terraform setup to experiment with FDB clusters in the cloud.
  ☆26Updated 5 years ago
• mozilla-iam / mozilla-aws-cli
  DEPRECATED. A command line tool to allow users to log into AWS with their federated identity using Single Sign On and obtain ephemeral AP…
  ☆20Updated last year