adpaco-aws
Follow
-
cedar Public
Forked from cedar-policy/cedarCore implementation of the Cedar language
Rust Apache License 2.0 UpdatedDec 17, 2024 -
cedar-docs Public
Forked from cedar-policy/cedar-docsDocumentation for Cedar policy language
Apache License 2.0 UpdatedDec 11, 2024 -
cedar-spec Public
Forked from cedar-policy/cedar-specDefinitional implementation of Cedar language and utilities for DRT
Lean Apache License 2.0 UpdatedDec 10, 2024 -
-
cedar-java Public
Forked from cedar-policy/cedar-javaJava bindings for the Cedar language
Java Apache License 2.0 UpdatedNov 11, 2024 -
-
cedar-examples Public
Forked from cedar-policy/cedar-examplesSome examples of using the Cedar language to specify authorization
Rust Apache License 2.0 UpdatedSep 9, 2024 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedApr 18, 2024 -
adpaco-aws.github.io Public
Forked from Baha/academic_webpagePersonal webpage
HTML UpdatedMar 22, 2024 -
s2n-quic Public
Forked from aws/s2n-quicAn implementation of the IETF QUIC protocol
Rust Apache License 2.0 UpdatedMar 4, 2024 -
-
this-week-in-rust Public
Forked from rust-lang/this-week-in-rustData for this-week-in-rust.org
HTML UpdatedFeb 1, 2024 -
lading Public
Forked from DataDog/ladingA suite of data generation and load testing tools
Rust MIT License UpdatedOct 2, 2023 -
aws-c-common Public
Forked from awslabs/aws-c-commonCore c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
C Apache License 2.0 UpdatedSep 7, 2023 -
kani-github-action Public
Forked from model-checking/kani-github-actionThis repository provides a GitHub Action for running the Kani Rust Verifier in CI.
Python Apache License 2.0 UpdatedSep 6, 2023 -
-
kani-vscode-extension Public
Forked from model-checking/kani-vscode-extensionKani VSCode Extension
TypeScript Apache License 2.0 UpdatedAug 17, 2023 -
bolero Public
Forked from camshaft/boleroproperty testing and verification front-end for Rust
C MIT License UpdatedApr 7, 2023 -
kani-verifier-blog Public
Forked from model-checking/kani-verifier-blogRuby MIT No Attribution UpdatedMar 31, 2023 -
hifitime Public
Forked from nyx-space/hifitimeA high fidelity time management library in Rust
Rust Apache License 2.0 UpdatedMar 14, 2023 -
prost Public
Forked from tokio-rs/prostPROST! a Protocol Buffers implementation for the Rust Language
Rust Apache License 2.0 UpdatedMar 13, 2023 -
bytes Public
Forked from nchong-at-aws/bytesUtilities for working with bytes
Rust MIT License UpdatedAug 16, 2022 -
rust-formal-methods.github.io Public
Forked from rust-formal-methods/rust-formal-methods.github.ioUpdatedFeb 12, 2022 -
-
aws-build-accumulator Public
Forked from awslabs/aws-build-accumulatorLitani metabuild system
Python Apache License 2.0 UpdatedOct 12, 2021 -
firecracker Public
Forked from firecracker-microvm/firecrackerSecure and fast microVMs for serverless computing.
Rust Apache License 2.0 UpdatedJun 3, 2021 -
aws-encryption-sdk-c Public
Forked from aws/aws-encryption-sdk-cAWS Encryption SDK for C
C Apache License 2.0 UpdatedApr 26, 2021 -
aws-verification-model-for-libcrypto Public
Forked from awslabs/aws-verification-model-for-libcryptoC Apache License 2.0 UpdatedMar 2, 2021 -
s2n Public
Forked from aws/s2n-tlss2n : an implementation of the TLS/SSL protocols
C Apache License 2.0 UpdatedJan 16, 2021