Pinned Loading

1. s2n-bignum s2n-bignum Public

   Forked from awslabs/s2n-bignum

   OCaml

2. aws-lc aws-lc Public

   Forked from aws/aws-lc

   AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.

   C++

3. aws-lc-verification aws-lc-verification Public

   Forked from awslabs/aws-lc-verification

   This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance …

   Coq

4. LNSym-public LNSym-public Public

   Forked from leanprover/LNSym

   Armv8 Native Code Symbolic Simulator in Lean

   Lean