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
• filibuster-testing / filibuster
  Prototype implementation of Service-Level Fault Injection Testing in Python.
  ☆70Updated 2 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• mattmoor / korpc
  ☆14Updated 5 years ago
• chainguard-dev / crow-registry
  ☆24Updated last year
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆34Updated 5 months ago
• kallsyms / go-graph
  Searching Go code with a graph database
  ☆25Updated 2 years ago
• mitchellh / tlaplus-radix-tree
  TLA+ modules, specifications, and models for Radix trees.
  ☆33Updated 3 years ago
• lmb / socklimit
  A fair-share ratelimiter implemented as a BPF socket filter
  ☆13Updated 2 years ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated last month
• anuvu / atomfs
  atomfs is a pseudo filesystem for managing container layers
  ☆10Updated last year
• stwind / dockersnoop
  Intercept gRPC traffic of dockerd and containerd with eBPF
  ☆12Updated last year
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆40Updated last year
• nicolasdilley / Gomela
  Tool developped for "Bounded verification of message passing concurrency in Go programs."
  ☆44Updated last year
• danderson / natprobe
  NAT probing toolkit.
  ☆22Updated 5 years ago
• anyfiddle / find
  Firecracker IN Docker - MicroVM inside containers
  ☆31Updated 4 years ago
• dustin-decker / threatseer
  efficient linux security monitoring
  ☆26Updated 6 years ago
• niyonmaruz / fluent-plugin-osquery
  osquery input plugin
  ☆10Updated 6 years ago
• omnibor / bomsh
  bomsh is collection of tools to explore the OmniBOR idea
  ☆21Updated 5 months ago
• tetratelabs-attic / getenvoy-package
  Packaging pipeline for Envoy
  ☆15Updated 3 years ago
• disintegrator / benthos-cue
  A workspace for creating Benthos configs using CUE.
  ☆10Updated last year
• sigstore / protobuf-specs
  Sigstore's Protocol Buffer specifications
  ☆28Updated this week
• jenkinsci / in-toto-plugin
  A Jenkins plugin to track steps and create in-toto link metadata
  ☆11Updated 9 months ago
• cedar-policy / cedar-spec
  Definitional implementation of Cedar language and utilities for DRT
  ☆109Updated this week
• afonsonf / ceph-consensus-spec
  TLA+ specification of the Ceph consensus algorithm
  ☆23Updated 2 years ago
• brimdata / zync
  Kafka connector to sync Zed lakes to and from Kafka topics
  ☆18Updated 10 months ago
• observatorium / rndr
  Pluggable generator for creating, using and sharing reusable templates that can be applied directly, generated into operator, helm chart …
  ☆11Updated 3 years ago