☆34Apr 13, 2026Updated 3 months ago
Alternatives and similar repositories for rbac-linter
Users that are interested in rbac-linter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 5 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Mar 15, 2018Updated 8 years ago
- Installable Kubernetes delivered in containers☆48Jun 28, 2023Updated 3 years ago
- Run experiments effortlessly on top of Kubernetes☆23May 20, 2022Updated 4 years ago
- SecEr: Erlang Code Evolution Control Tool☆12Jul 26, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Quake-style colour formatting for Unix terminals☆14Dec 2, 2023Updated 2 years ago
- ☆13Jun 23, 2020Updated 6 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆23Jan 19, 2026Updated 6 months ago
- Replication of CRDTs☆38Apr 3, 2021Updated 5 years ago
- Generic abstraction for building dataflow computations.☆16Nov 21, 2017Updated 8 years ago
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 6 years ago
- Postgres Server protocol implementation in Go☆23Jul 2, 2019Updated 7 years ago
- A simple js_of_ocaml workflow with Reason and esy☆16Dec 11, 2022Updated 3 years ago
- Add UTF decoding support to the OCaml Stdlib☆16Sep 4, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Gem to allow developers to spoon...erm, pair with each other using Docker and tmux☆15Jan 19, 2015Updated 11 years ago
- CRDT implementations to use with Antidote☆36May 27, 2022Updated 4 years ago
- Services for Librato Metrics☆14Apr 22, 2020Updated 6 years ago
- OCaml to Golang compiler☆39Dec 12, 2020Updated 5 years ago
- ☆10Sep 7, 2022Updated 3 years ago
- Pulse a heartbeat to redis. This can be used to detach or attach servers to nginx or similar problems☆12May 9, 2018Updated 8 years ago
- Scalable reliable delivery protocol for Lasp.☆22Oct 13, 2021Updated 4 years ago
- An easy interface on top of the Irmin library.☆44Jul 16, 2020Updated 6 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A CFFI using AtomicLong type for CPython and PyPy.☆23Jun 21, 2017Updated 9 years ago
- Generating golang repo reports for GolangShow podcasts☆18Jun 7, 2018Updated 8 years ago
- On the correctness of Egalitarian Paxos☆19Jun 27, 2019Updated 7 years ago
- Constant time equal function to avoid timing attacks in OCaml☆50Jun 27, 2024Updated 2 years ago
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆23Jun 2, 2019Updated 7 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆44Jun 27, 2025Updated last year
- Wide World of Actors, or, Can I Have an Erlang Pony?☆12Mar 19, 2018Updated 8 years ago
- A simple domain park daemon by Golang☆13Jul 19, 2018Updated 8 years ago
- Arbitrary-precision decimal based on Zarith☆21Jul 10, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- AppOptics APM Instrumentation Agent for Node.js☆11Sep 3, 2024Updated last year
- Graphing crate for criterion-rs☆16Jul 19, 2020Updated 6 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Mar 6, 2020Updated 6 years ago
- Fast introsort implementation in Rust☆12Apr 4, 2017Updated 9 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 4 years ago
- Erlang Kubernetes client☆57Jul 16, 2020Updated 6 years ago
- A virtual terminal for parsing ANSI escape codes in python☆29Nov 15, 2010Updated 15 years ago