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
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆34Updated 6 months ago
• dorkamotorka / ebpf-multihost-map-sync
  Multihost eBPF Map Sync Setup
  ☆10Updated 5 months ago
• cue-sh / stax
  ☆15Updated 3 years ago
• ecordell / cuezel
  ☆12Updated 4 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• p-org / peasy-ide-vscode
  Peasy: An Intuitive Development Environment for P
  ☆14Updated 3 weeks ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• latacora / recidiffist
  Diffs for structured data
  ☆16Updated 6 years ago
• jenkinsci / in-toto-plugin
  A Jenkins plugin to track steps and create in-toto link metadata
  ☆11Updated 11 months ago
• adamgordonbell / compiling-containers
  ☆15Updated 4 years ago
• filibuster-testing / filibuster
  Prototype implementation of Service-Level Fault Injection Testing in Python.
  ☆70Updated 2 years ago
• project-oak / transparent-release
  Making transparency normal!
  ☆24Updated last year
• mattmoor / korpc
  ☆14Updated 6 years ago
• cedar-policy / cedar-spec
  Definitional implementation of Cedar language and utilities for DRT
  ☆111Updated this week
• hallowauth / hallow
  Hallow is a SSH Certificate Authority designed for use with AWS native environments
  ☆65Updated 11 months ago
• tacosframework / TACOS-spec
  TACOS framework structural details
  ☆20Updated 3 weeks ago
• onosproject / tlaplus-monitor
  Tools for conformance monitoring on Kubernetes with TLA+
  ☆23Updated 11 months ago
• anyfiddle / find
  Firecracker IN Docker - MicroVM inside containers
  ☆31Updated 4 years ago
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 6 years ago
• chainguard-dev / crow-registry
  ☆24Updated last year
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆40Updated last year
• dustin-decker / threatseer
  efficient linux security monitoring
  ☆26Updated 6 years ago
• anuvu / atomfs
  atomfs is a pseudo filesystem for managing container layers
  ☆10Updated last year
• bitgn / fdb-cloud-test
  Packer + Terraform setup to experiment with FDB clusters in the cloud.
  ☆26Updated 5 years ago
• brimdata / zync
  Kafka connector to sync Zed lakes to and from Kafka topics
  ☆18Updated 11 months ago
• dorkamotorka / ebpf-btf
  Building Truly Portable eBPF Programs
  ☆18Updated last month
• xyproto / ainur
  Detect compiler names and versions from ELF files
  ☆27Updated 3 weeks ago
• Z3Prover / FirewallChecker
  A self-contained firewall checker
  ☆106Updated 3 years ago
• cyralinc / brewOPA
  A data access control framework for Open Policy Agent
  ☆37Updated 11 months ago