-
-
aws-lc Public
Forked from aws/aws-lcAWS-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.
Assembly Other UpdatedApr 15, 2025 -
hol-light Public
Forked from jrh13/hol-lightThe HOL Light theorem prover
OCaml Other UpdatedMar 20, 2025 -
openssl Public
Forked from openssl/opensslTLS/SSL and crypto library
C Apache License 2.0 UpdatedJan 28, 2025 -
aws-lc-verification Public
Forked from awslabs/aws-lc-verificationThis 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 Apache License 2.0 UpdatedDec 20, 2024 -
LNSym-public Public
Forked from leanprover/LNSymArmv8 Native Code Symbolic Simulator in Lean
Lean Apache License 2.0 UpdatedDec 9, 2024 -
mlkem-native Public
Forked from pq-code-package/mlkem-nativeHigh-assurance, high-performance ML-KEM implementation for mobile, pc, and server targets
Assembly Apache License 2.0 UpdatedNov 11, 2024 -
cbmc-examples Public
Forked from rod-chapman/cbmc-examplesExamples of code verification using CBMC
C BSD 2-Clause "Simplified" License UpdatedOct 10, 2024 -
saw-script Public
Forked from GaloisInc/saw-scriptThe SAW scripting language.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 27, 2024 -
cryptol Public
Forked from GaloisInc/cryptolCryptol: The Language of Cryptography
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 3, 2023 -
s2n-tls Public
Forked from aws/s2n-tlsAn implementation of the TLS/SSL protocols
C Apache License 2.0 UpdatedJan 17, 2023
{{ message }}