Libraries & frameworks
hacl-star
hacl-star/hacl-star
A formally verified cryptographic library written in F*, providing proven implementations of Curve25519, Ed25519, AES-GCM, SHA-2/3 and more, compiled to portable C for integration into any project.
Topics
Related projects
ring4.1kA Rust cryptography library derived from BoringSSL that provides low-level cryptographic primitives such as encryption, signing, and key exchange for Rust projects.
pycryptodome3.3kPyCryptodome is a self-contained Python library of low-level cryptographic primitives, covering ciphers, hashes, public-key schemes, and post-quantum algorithms with no system library dependencies.
wolfssl3kwolfSSL is a small, portable ANSI C TLS/SSL library for embedded and cloud systems, supporting modern protocols, post-quantum algorithms, hardware crypto and an OpenSSL-compatible API.
memguard2.8kMemGuard is a pure Go library that stores sensitive data in encrypted, guarded memory buffers. It uses direct system calls, avoids swapping and core dumps, and mitigates side-channel attacks for developers embedding it in their programs.
c-toxcore2.7kThe C core library behind Tox, a peer-to-peer encrypted messenger stack used by clients to build secure chat apps.
themis2kThemis is a cross-platform cryptographic library offering ready-made secure storage, messaging, session and zero-knowledge authentication primitives with unified APIs across 14 platforms.