mangle VS OPA (Open Policy Agent)

Compare mangle vs OPA (Open Policy Agent) and see what are their differences.

OPA (Open Policy Agent)

Open Policy Agent (OPA) is an open source, general-purpose policy engine. (by open-policy-agent)
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
mangle OPA (Open Policy Agent)
9 89
1,027 9,024
0.1% 2.0%
6.9 9.6
15 days ago 5 days ago
Go Go
Apache License 2.0 Apache License 2.0
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

mangle

Posts with mentions or reviews of mangle. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-01-21.
  • Learn Datalog Today
    8 projects | news.ycombinator.com | 21 Jan 2024
    Mangle https://github.com/google/mangle is an open-source implementation in golang, it was an explicit goal to make it easy to learn. Meaning: it is easy to recognize the pure datalog part, the syntax is following the good old course material.

    It was discussed here: https://news.ycombinator.com/item?id=33756800

    8 projects | news.ycombinator.com | 21 Jan 2024
    One of the most interesting Datalog systems I have seen is Mangle:

    https://github.com/google/mangle

    It was previously discussed here:

    https://news.ycombinator.com/item?id=33756800

    The system is quite unique among those systems that call themselves Datalog because it is one of the few that actually supports Datalog syntax, as a proper subset of all features it supports. This means that you can truly write and run Datalog programs which can be read and interpreted also with every Prolog system.

  • Prolog for Data Science
    4 projects | news.ycombinator.com | 7 May 2023
    Logic programming offers a good foundation for anything that people call "rule engines." Within logic programming, there is some variation on the degree of declarativeness.

    Datalog is arguably the minimal core logic programming, similar to what the lambda calculus achieves for functional programming. Unfortunately, it has been forgotten outside of database and query processing realm. A resurgence has happened in recent years, as PL researchers and also industry have discovered the virtues of datalog (e.g. Flix, DataFun). My own attempt at making this more widely known is here https://github.com/google/mangle, a language from the datalog family and its implementation as a go library.

    As the example shows: plain "rules" (or: plain datalog) is rarely enough to capture everything that one wants to express: the question then is, how to combine a pure declarative "kernel" with more general purpose programming (e.g. mapping a list).

    PROLOG offered one answer, already in the 1980s, but I fully reject it: the fact that the writing a program in the wrong order with negation and recursion makes it non-terminating is not something we'd want everyone to deal with. Datalog with stratified recursion is somewhat better, as "layers of rules" is a concept that is easy to understand.

    In mainstream programming languages, the possibility of writing non-terminating programs also exists, but is rarely an issue. That is why I believe a good combination of declarative and general-purpose has to make it really easy to recognize which parts of a program are in the declarative, terminating, safe kernel and which parts require more attention from the programmer.

  • Mangle, a programming language for deductive database programming
    12 projects | news.ycombinator.com | 26 Nov 2022

OPA (Open Policy Agent)

Posts with mentions or reviews of OPA (Open Policy Agent). We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-03-26.
  • Top Terraform Tools to Know in 2024
    19 projects | dev.to | 26 Mar 2024
    A popular Policy-as-Code tool for Terraform is OPA, everyone's favorite versatile open-source policy engine that enforces security and compliance policies across your cloud-native stack, making it easier to manage and maintain consistent policy enforcement in complex, multi-service environments.
  • Open Policy Agent
    8 projects | news.ycombinator.com | 12 Mar 2024
  • Build and Push to GAR and Deploy to GKE - End-to-End CI/CD Pipeline
    3 projects | dev.to | 2 Jan 2024
    Harness Policy As Code uses Open Policy Agent (OPA) as the central service to store and enforce policies for the different entities and processes across the Harness platform. In this section, you will define a policy that will deny a pipeline execution if there is no approval step defined in a deployment stage.
  • 10 Ways for Kubernetes Declarative Configuration Management
    23 projects | dev.to | 1 Jan 2024
    OPA: While OPA is an open-source, general-purpose policy engine capable of enforcing unified and context-aware policies throughout the stack, it can also accept and output data in formats such as JSON, effectively functioning as a tool for generating or modifying configurations. Although it does not provide out-of-the-box schema definition support, it allows the integration of JsonSchema definitions.
  • Securing CI/CD Images with Cosign and OPA
    4 projects | dev.to | 15 Nov 2023
    In essence, container image signing involves adding a digital stamp to an image, affirming its authenticity. This digital assurance guarantees that the image is unchanged from creation to deployment. In this blog, I'll explain how to sign container images for Kubernetes using Cosign and the Open Policy Agent. I will also share a tutorial that demonstrates these concepts.
  • OPA vs. Google Zanzibar: A Brief Comparison
    2 projects | dev.to | 14 Nov 2023
    In this post we will explores two powerful solutions for addressing this issue: the Open Policy Language (OPA) and Google’s Zanzibar.
  • Are "Infrastructure as Code" limited to "Infrastructure" only?
    3 projects | /r/kubernetes | 19 Sep 2023
    Now there are more subdivided practice: * Policy as Code: Sentinel, OPA * Database as Code: bytebase * AppConfiguration as Code: KusionStack, Acorn * ...... (Welcome to add more)
  • OPA (Open Policy Agent) VS topaz - a user suggested alternative
    2 projects | 25 Jul 2023
  • CIAM vs. IAM: What's the difference (2022)
    2 projects | news.ycombinator.com | 11 May 2023
    CIAM is not nearly as popular of a term as it needs to be. When most developers build apps today, they still look at their cloud provider's IAM or Active Directory for inspiration in design of their customer-facing systems. I think this article is actually understating the complexity. Conway's Law rules all and sometimes your systems and users won't even necessarily be in your control. I urge folks to look into policy engines like OPA[0] and ReBAC systems like SpiceDB[1] rather than reinventing the wrong wheel.

    [0]: https://www.openpolicyagent.org

    [1]: https://github.com/authzed/spicedb

  • You Broke Reddit: The Pi-Day Outage
    3 projects | /r/RedditEng | 21 Mar 2023
    At this point, someone spotted that we were getting a lot of timeouts in the API server logs for write operations. But not specifically on the writes themselves. Rather, it was timeouts calling the admission controllers on the cluster. Reddit utilizes several different admission controller webhooks. On this cluster in particular, the only admission controller we use that’s generalized to watch all resources is Open Policy Agent (OPA). Since it was down anyway, we took this opportunity to delete its webhook configurations. The timeouts disappeared instantly… But the cluster didn’t recover.

What are some alternatives?

When comparing mangle and OPA (Open Policy Agent) you can also consider the following projects:

casbin - An authorization library that supports access control models like ACL, RBAC, ABAC in Golang: https://discord.gg/S5UjpzGZjN

Keycloak - Open Source Identity and Access Management For Modern Applications and Services

Ory Keto - Open Source (Go) implementation of "Zanzibar: Google's Consistent, Global Authorization System". Ships gRPC, REST APIs, newSQL, and an easy and granular permission language. Supports ACL, RBAC, and other access models.

cerbos - Cerbos is the open core, language-agnostic, scalable authorization solution that makes user permissions and authorization simple to implement and manage by writing context-aware access control policies for your application resources.

checkov - Prevent cloud misconfigurations and find vulnerabilities during build-time in infrastructure as code, container images and open source packages with Checkov by Bridgecrew.

spicedb - Open Source, Google Zanzibar-inspired permissions database to enable fine-grained access control for customer applications

oso - Oso is a batteries-included framework for building authorization in your application.

Vault - A tool for secrets management, encryption as a service, and privileged access management

Kyverno - Kubernetes Native Policy Management

Ory Kratos - Next-gen identity server replacing your Auth0, Okta, Firebase with hardened security and PassKeys, SMS, OIDC, Social Sign In, MFA, FIDO, TOTP and OTP, WebAuthn, passwordless and much more. Golang, headless, API-first. Available as a worry-free SaaS with the fairest pricing on the market!

OPAL - Policy and data administration, distribution, and real-time updates on top of Policy Agents (OPA, Cedar, ...)

atlantis - Terraform Pull Request Automation