-
-
-
amazon-corretto-crypto-provider Public
Forked from corretto/amazon-corretto-crypto-providerThe Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interfaces.
Java Apache License 2.0 UpdatedApr 16, 2026 -
hol-light Public
Forked from jrh13/hol-lightThe HOL Light theorem prover
OCaml Other UpdatedApr 7, 2026 -
mlkem-native Public
Forked from pq-code-package/mlkem-nativeHigh-assurance, high-performance ML-KEM implementation for mobile, PC, and server targets
Assembly Other UpdatedMar 25, 2026 -
cryptol-specs Public
Forked from GaloisInc/cryptol-specsSpecifications of cryptographic algorithms in Cryptol
TeX BSD 3-Clause "New" or "Revised" License UpdatedFeb 27, 2026 -
-
aws-lc-rs Public
Forked from aws/aws-lc-rsaws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library strives to be API-compatible with the popular Rust library named ring.
Rust Other UpdatedMay 24, 2023 -
-
liboqs Public
Forked from open-quantum-safe/liboqsC library for prototyping and experimenting with quantum-resistant cryptography
C Other UpdatedApr 11, 2023 -
jitterentropy-library Public
Forked from smuellerDD/jitterentropy-libraryJitterentropy Library
C Other UpdatedNov 17, 2022 -
envoy Public
Forked from envoyproxy/envoyCloud-native high-performance edge/middle/service proxy
C++ Apache License 2.0 UpdatedJun 2, 2022 -
s2n-tls Public
Forked from aws/s2n-tlss2n : an implementation of the TLS/SSL protocols
C Apache License 2.0 UpdatedAug 5, 2021
{{ message }}