8000 cryspen repositories · GitHub

More Web Proxy on the site http://driver.im/

Cryspen

All

39 repositories

hax
Public
A Rust verification tool
rust formal-verification
OCaml
•
Apache License 2.0
•24•265•188•7•Updated Jun 4, 2025Jun 4, 2025
libcrux-iot
Public
An IoT friendly, formally verified, crypto library based on libcrux
Rust
•
GNU Affero General Public License v3.0
•1•2•35•6•Updated Jun 4, 2025Jun 4, 2025
hpke-rs
Public
Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
cryptography crypto ecdh hpke rust
Rust
•18•35•5•3•Updated Jun 4, 2025Jun 4, 2025
rosenpass
Public
Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.
Rust
•
Apache License 2.0
•93•0•0•2•Updated Jun 4, 2025Jun 4, 2025
libcrux
Public
The formally verified crypto library for Rust
cryptography encryption signatures formal-verification
C
•
Apache License 2.0
•21•130•48•10•Updated Jun 4, 2025Jun 4, 2025
bertie
Public
Bertie TLS 1.3 Implementation
F*
•
Apache License 2.0
•4•118•29•5•Updated Jun 3, 2025Jun 3, 2025
pqm4
Public
Post-quantum crypto library for the ARM Cortex-M4
C
•86•0•0•0•Updated Jun 2, 2025Jun 2, 2025
cryspen.github.io
Public
HTML
•0•1•0•0•Updated May 29, 2025May 29, 2025
libxmtp
Public
Rust
•
MIT License
•59•0•0•2•Updated May 29, 2025May 29, 2025
ci-test
Public
0•0•0•2•Updated May 28, 2025May 28, 2025
benchmark-upload-and-plot-action
Public
GitHub Action for continuous benchmarking to keep performance
TypeScript
•
MIT License
•0•0•1•1•Updated May 28, 2025May 28, 2025
benchmark-data-extract-transform
Public
GitHub Action for continuous benchmarking to keep performance
TypeScript
•
MIT License
•0•0•0•0•Updated May 26, 2025May 26, 2025
libcrux-benchmarks
Public
0•0•0•0•Updated May 7, 2025May 7, 2025
SparsePostQuantumRatchet
Public
Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.
F*
•
GNU Affero General Public License v3.0
•3•0•0•0•Updated May 1, 2025May 1, 2025
hacl-packages
Public
The Cryspen HACL Distribution
hashing cryptography encryption aead digest hmac hkdf signatures decryption formally-verified
C
•
Other
•19•18•59•4•Updated Apr 20, 2025Apr 20, 2025
sandwich
Public
Rust
•
GNU Affero General Public License v3.0
•0•1•0•3•Updated Apr 16, 2025Apr 16, 2025
mupq
Public
Provides common files for instances of mupq, e.g., for pqm4 and pqriscv
C
•25•0•0•0•Updated Apr 8, 2025Apr 8, 2025
boringssl
Public
Mirror of BoringSSL
C++
•
Other
•814•0•0•2•Updated Apr 1, 2025Apr 1, 2025
scalable-mls-id
Public
F*
•
Other
•0•0•1•0•Updated Mar 3, 2025Mar 3, 2025
model-nursery
Public
Models of Code
0•0•0•0•Updated Feb 19, 2025Feb 19, 2025
rustls
Public
A modern TLS library in Rust
Rust
•
Other
•718•0•0•2•Updated Feb 3, 2025Feb 3, 2025
.github
Public
0•0•0•0•Updated Jan 28, 2025Jan 28, 2025
actions
Public
GitHub Actions
0•0•0•0•Updated Jan 27, 2025Jan 27, 2025
verify-rust-std
Public
Verifying the Rust standard library
Rust
•
Other
•13k•0•0•0•Updated Jan 23, 2025Jan 23, 2025
rustls-libcrux
Public
Crypto provider for Rustls backed by libcrux
Rust
•0•1•1•0•Updated Dec 18, 2024Dec 18, 2024
linux
Public
Linux kernel stable tree mirror
C
•
Other
•558•0•0•0•Updated Sep 23, 2024Sep 23, 2024
atlas
Public
BMBF ATLAS project
Rust
•1•5•5•3•Updated Sep 12, 2024Sep 12, 2024
test-merge-queue-actions
Public
Rust
•0•0•0•0•Updated Aug 22, 2024Aug 22, 2024
rust-core-spec
Public
Rust
•0•1•0•0•Updated Jul 8, 2024Jul 8, 2024
nss
Public
Read only mirror of https://hg.mozilla.org/projects/nss
C
•
Other
•92•0•0•0•Updated Apr 28, 2024Apr 28, 2024

0