https://github.com/cedar-policy

Skip to content Toggle navigation
 
Sign up
cedar-policy

  * Product
      +  
        Actions
        Automate any workflow
      +  
        Packages
        Host and manage packages
      +  
        Security
        Find and fix vulnerabilities
      +  
        Codespaces
        Instant dev environments
      +  
        Copilot
        Write better code with AI
      +  
        Code review
        Manage code changes
      +  
        Issues
        Plan and track work
      +  
        Discussions
        Collaborate outside of code
    Explore
      + All features
      + Documentation
      + GitHub Skills
      + Blog
  * Solutions
    For
      + Enterprise
      + Teams
      + Startups
      + Education
    By Solution
      + CI/CD & Automation
      + DevOps
      + DevSecOps
    Case Studies
      + Customer Stories
      + Resources
  * Open Source
      +  
        GitHub Sponsors
        Fund open source developers
      +  
        The ReadME Project
        GitHub community articles
    Repositories
      + Topics
      + Trending
      + Collections
  * Pricing

[                    ] 

  *  
    #
    In this organization All GitHub |
    Jump to |

  * No suggested jump to results

  *  
    #
    In this organization All GitHub |
    Jump to |
  *  
    #
    Search All GitHub |
    Jump to |
  *  
    #
    In this organization All GitHub |
    Jump to |

Sign in
Sign up
{{ message }}
@cedar-policy

cedar-policy

  * Overview
  * Repositories
  * Projects
  * Packages
  * People

More

  * Overview
  * Repositories
  * Projects
  * Packages
  * People

README.md

 README.md

Cedar Green Logo

 Welcome!

Cedar is an open source policy language and evaluation engine. Cedar
enables developers to express fine-grained permissions as
easy-to-understand policies enforced in their applications, and
decouple access control from application logic. Cedar supports common
authorization models such as role-based access control and
attribute-based access control. It is the first policy language built
from the ground up to be verified formally by using automated
reasoning, and tested rigorously using differential random testing.

 Project Resources

  * Project Website
  * Documentation
  * Need help? Try Slack

 Repositories

  * cedar (https://github.com/cedar-policy/cedar)

The cedar repository houses the Cedar SDK including the authorization
engine, validator, policy formatter, and CLI.

  * cedar-docs (https://github.com/cedar-policy/cedar-docs)

The cedar-docs repository houses documentation for all cedar
projects.

  * cedar-examples (https://github.com/cedar-policy/cedar-examples)

The cedar-examples repository houses example applications using the
Cedar language and SDK

  * cedar-java (https://github.com/cedar-policy/cedar-java)

The cedar-java repository houses the Java language bindings for
Cedar.

  * cedar-spec (https://github.com/cedar-policy/cedar-spec)

The cedar-spec repository houses the formal Dafny specification for
the Cedar language as well as the differential testing/property-based
testing framework.

 Code of Conduct

This project has adopted the Amazon Open Source Code of Conduct. For
more information see the Code of Conduct FAQ, or contact
opensource-codeofconduct@amazon.com with any additional questions or
comments.

 Security

If you discover a potential security issue in this project we ask
that you notify AWS/Amazon Security via our vulnerability reporting
page or directly via email to aws-security@amazon.com. Please do not
create a public GitHub issue.

 License

This project is licensed under the Apache v2.0 License.

 Copyright

See NOTICE for details.

 Trademark

Cedar is a registered trademark of Amazon Web Services. If publishing
software using Cedar, you are not required to attribute. However, if
you'd like to, we encourage you to use the language below.

        Do:                    Don't:
 Powered by Cedar    Cedar 2.0
 Created with Cedar  Created by Cedar
 Using Cedar         Software created by Cedar

Popular repositories

 1. cedar Public

    Core implementation of the Cedar language

    Rust 213 9

 2. cedar-examples Public

    Some examples of using the Cedar language to specify
    authorization

    Rust 11 2

 3. cedar-spec Public

    Definitional implementation of Cedar language and utilities for
    DRT

    Rust 9

 4. cedar-java Public

    Java bindings for the Cedar language

    Java 7

 5. cedar-docs Public

    4 3

 6. .github Public

    Forked from amzn/.github

    1 1

Repositories

[                    ]
Type
Select type
(*) All ( ) Public ( ) Sources ( ) Forks ( ) Archived ( ) Mirrors ( )
Templates
Language
Select language
(*) All ( ) Java ( ) Rust
Sort
Select order
(*) Last updated ( ) Name ( ) Stars
  * cedar-spec Public

    Definitional implementation of Cedar language and utilities for
    DRT

    Rust 9 Apache-2.0 0 0 0 Updated May 15, 2023
  * cedar Public

    Core implementation of the Cedar language

    Rust 213 Apache-2.0 9 1 0 Updated May 15, 2023
  * cedar-examples Public

    Some examples of using the Cedar language to specify
    authorization

    Rust 11 Apache-2.0 2 2 0 Updated May 15, 2023
  * cedar-docs Public
    4 Apache-2.0 3 0 0 Updated May 16, 2023
  * .github Public
    1 Apache-2.0 234 0 0 Updated May 11, 2023
  * cedar-java Public

    Java bindings for the Cedar language

    Java 7 Apache-2.0 0 1 0 Updated May 12, 2023

People

This organization has no public members. You must be a member to see
who's a part of this organization.

Top languages

Rust Java

Most used topics

Loading...

Footer

 (c) 2023 GitHub, Inc.

Footer navigation

  * Terms
  * Privacy
  * Security
  * Status
  * Docs
  * Contact GitHub
  * Pricing
  * API
  * Training
  * Blog
  * About

You can't perform that action at this time.
You signed in with another tab or window. Reload to refresh your
session. You signed out in another tab or window. Reload to refresh
your session.