Skip to content
View chaluli's full-sized avatar
2 followers · 0 following

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Pair Extraordinaire

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Pair Extraordinaire

Block or report chaluli

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

cvc5 / cvc5-rs

Rust interface for cvc5

Rust 4 1 Updated Mar 26, 2026

cedar-policy / cedar-for-agents

Rust 15 5 Updated Jan 27, 2026

cedar-policy / cedar

Implementation of the Cedar Policy Language

Rust 1,385 135 Updated Mar 26, 2026

cedar-policy / cedar-spec

Definitional implementation of Cedar language and utilities for DRT

Lean 165 34 Updated Mar 26, 2026

cedar-policy / cedar-integration-tests

Python 13 7 Updated Mar 23, 2026

cedar-policy / cedar-examples

Some examples of using the Cedar language to specify authorization

Rust 108 35 Updated Mar 26, 2026

cedar-policy / cedar-docs

Documentation for Cedar policy language

33 30 Updated Mar 24, 2026

cedar-policy / rfcs

RFCs for Cedar

19 18 Updated Jan 22, 2026