Cedar-spec Alternatives

Similar projects and alternatives to cedar-spec

• lean4

  53 3,739 9.9 Lean cedar-spec VS lean4

  Lean 4 programming language and theorem prover

  

• Idris2

  39 2,395 9.6 Idris cedar-spec VS Idris2

  A purely functional programming language with first class types

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• FStar

  42 2,567 9.9 F* cedar-spec VS FStar

  A Proof-oriented Programming Language

  

• OPAL

  33 2,281 8.9 Python cedar-spec VS OPAL

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

  

• dafny

  31 2,665 9.7 C# cedar-spec VS dafny

  Dafny is a verification-aware programming language

  

• z3

  28 9,708 9.8 C++ cedar-spec VS z3

  The Z3 Theorem Prover

  

• openfga

  15 2,244 9.7 Go cedar-spec VS openfga

  A high performance and flexible authorization/permission engine built for developers and inspired by Google Zanzibar

  

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• symmetric_project

  1 78 9.1 Lean cedar-spec VS symmetric_project

• CoqGym

  2 370 3.6 Coq cedar-spec VS CoqGym

  A Learning Environment for Theorem Proving with the Coq proof assistant

  

• creusot

  4 972 9.6 Rust cedar-spec VS creusot

  Creusot helps you prove your code is correct in an automated fashion.

  

• idris2-pack-db

  1 14 9.5 cedar-spec VS idris2-pack-db

• CodeContracts

  3 850 0.0 C# cedar-spec VS CodeContracts

  Discontinued Source code for the CodeContracts tools for .NET