gravitational / rbac-linter

Related projects ⓘ

Alternatives and complementary repositories for rbac-linter

• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 2 years ago
• cedar-policy / cedar-spec
  Definitional implementation of Cedar language and utilities for DRT
  ☆91Updated this week
• afonsonf / ceph-consensus-spec
  TLA+ specification of the Ceph consensus algorithm
  ☆21Updated 2 years ago
• spreadshirt / prometheus-explorer
  A lightweight metrics explorer for Prometheus, with a focus on on-the-fly analysis.
  ☆27Updated 2 years ago
• filibuster-testing / filibuster
  Prototype implementation of Service-Level Fault Injection Testing in Python.
  ☆67Updated 2 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 3 years ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆27Updated 2 weeks ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 2 years ago
• omnibor / spec
  A draft standard for communicating a cryptographic record of build inputs for software artifacts.
  ☆23Updated last month
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆35Updated this week
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated last year
• danobi / vmtest-action
  Github Actions wrapper for vmtest
  ☆10Updated 3 weeks ago
• tlaplus / foundation
  TLA+ Foundation
  ☆23Updated this week
• Cjen1 / consensus-tlaplus
  ☆11Updated last month
• Z3Prover / FirewallChecker
  A self-contained firewall checker
  ☆101Updated 3 years ago
• cue-sh / stax
  ☆15Updated 3 years ago
• anuvu / atomfs
  atomfs is a pseudo filesystem for managing container layers
  ☆10Updated last year
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆28Updated 2 weeks ago
• chimera-kube / chimera-admission
  A Kubernetes dynamic admission controller that uses WebAssembly policies to validate incoming requests
  ☆25Updated 3 years ago
• omnibor / bomsh
  bomsh is collection of tools to explore the OmniBOR idea
  ☆21Updated 3 weeks ago
• kinvolk / egress-filtering-benchmark
  ☆23Updated 3 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• disintegrator / benthos-cue
  A workspace for creating Benthos configs using CUE.
  ☆10Updated last year
• brendangregg / bpf-typewriter
  BPF noisy typewriter (bpftrace)
  ☆23Updated 4 years ago
• devopsspiral / ebpf-bt-unlock
  Simple usage of ebpf (bpftrace) for tracing bluetooth events and unlocking ubuntu
  ☆22Updated 4 years ago
• flavio / krew-wasm
  krew-wasm offers a way to write and distribute kubectl plugins based on WebAssembly
  ☆14Updated 7 months ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆45Updated 4 years ago
• project-oak / transparent-release
  Making transparency normal!
  ☆24Updated 11 months ago
• justinj / nulldb
  ☆12Updated 5 months ago